diff --git a/Number_types/doc_tex/NumberTypeSupport/main.tex b/Number_types/doc_tex/NumberTypeSupport/main.tex
index a1eec85bfbb..644daed9efb 100644
--- a/Number_types/doc_tex/NumberTypeSupport/main.tex
+++ b/Number_types/doc_tex/NumberTypeSupport/main.tex
@@ -1,4 +1,3 @@
-\newcommand{\ignore}[1]{}
 \cleardoublepage
 \ccUserChapter{Number Type Support}
 \label{Numbertype}