Add DEBUG_GMP to GAP_KERNEL_DEBUG

hulpke · May 17, 2018 · a2b030e · a2b030e
1 parent 681fbbd
commit a2b030e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/debug.h b/src/debug.h
@@ -25,6 +25,7 @@
 // Enable various GAP debugging features
 #define COUNT_BAGS
 #define COUNT_OPERS
+#define DEBUG_GMP 1
 #else
 #define GAP_ASSERT(x)
 #endif