From d33bd7cf2e8c96afd90ec1ccbf13d5902e78cd11 Mon Sep 17 00:00:00 2001
From: Michael Hemmer <hemmer@mpi-inf.mpg.de>
Date: Tue, 20 Feb 2007 12:39:38 +0000
Subject: [PATCH] use \ccIgnore

---
 Number_types/doc_tex/NumberTypeSupport/main.tex | 1 -
 1 file changed, 1 deletion(-)

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}