Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler into...

[satune.git] / src / config.h

diff --git a/src/config.h b/src/config.h
index 2e48668479d21cfacd8bf42e014849ec5a83d2aa..5ce22b0f0fdf89a4f2e0e5c6690201aacddd6579 100644 (file)
--- a/src/config.h
+++ b/src/config.h
@@ -19,7 +19,6 @@
 //#define CONFIG_DEBUG
 #endif
 
-//#define SATCHECK_CONFIG
 
 #ifndef CONFIG_ASSERT
 #define CONFIG_ASSERT