HACK: enable DEBUG_GMP

gap-system · Jan 16, 2017 · d59fc61 · d59fc61
1 parent 27e4c8a
commit d59fc61
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/gmpints.c b/src/gmpints.c
@@ -104,7 +104,7 @@ static Obj ObjInt_UIntInv( UInt i );
 
 /* debugging */
 #ifndef DEBUG_GMP
-#define DEBUG_GMP 0
+#define DEBUG_GMP 1
 #endif
 
 #if defined(__STDC_VERSION__) && (__STDC_VERSION__ >= 199901)