Add timing statements

[satune.git] / src / mymemory.h

diff --git a/src/mymemory.h b/src/mymemory.h
index 0798860fa89a625aad4bfbee1c9cfffd88fd70bc..766e6f65675464a17840cbaf80bef665a349ead7 100644 (file)
--- a/src/mymemory.h
+++ b/src/mymemory.h
@@ -19,7 +19,7 @@
 
 #include "config.h"
 
-//#define SATCHECK_CONFIG
+#define SATCHECK_CONFIG
 
 /*
    void * ourmalloc(size_t size);