Fix: commented out MAX_INT_LEN macro in kernel/mod2.h due to its defi…

…nition in auxiliary.h
Singular · Oct 4, 2012 · 095dee7 · 095dee7
1 parent 9229629
commit 095dee7
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/kernel/mod2.h b/kernel/mod2.h
@@ -119,7 +119,8 @@
 #undef OLD_RES
 
 /* the maximal ascii length of an int number + 1 = 11 for 32 bit int */
-#define MAX_INT_LEN 11
+/* #define MAX_INT_LEN 11 */
+
 
 #ifdef DO_PROFILE
 /* define to enable explicit profiling of some crucial inline