X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2Fconfig.h;h=ef0b9b1929bc5f046f996ace37daf3aa47a81db1;hp=e34b82810f12e85049baa60ecf112985fbecaa43;hb=9eb16333c26996a97567f88d0f2e62e72eb9a9e6;hpb=3174431d74be819f6da1068eb4484a3a0d32bd7c

diff --git a/src/config.h b/src/config.h
index e34b828..ef0b9b1 100644
--- a/src/config.h
+++ b/src/config.h
@@ -19,7 +19,7 @@
 //#define CONFIG_DEBUG
 #endif
 
-#define SATCHECK_CONFIG
+//#define STATICENCGEN
 
 #ifndef CONFIG_ASSERT
 #define CONFIG_ASSERT