Fix bugs

[satune.git] / src / config.h

diff --git a/src/config.h b/src/config.h
index 0c53dd6dbab21bb3a45e2955f0110b322a1614c3..6eafa57c3aa598c399b0c8df4ffac5bf7c9951dc 100644 (file)
--- a/src/config.h
+++ b/src/config.h
@@ -19,7 +19,9 @@
 //#define CONFIG_DEBUG
 #define TRACE_DEBUG
 #endif
-//#define SATCHECK_CONFIG
+
+#define SATCHECK_CONFIG
+
 #ifndef CONFIG_ASSERT
 #define CONFIG_ASSERT
 #endif