X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2Fconfig.h;h=ce13d3c8ef6873db22e29ce7dc5d7e25ef0b1630;hp=e34b82810f12e85049baa60ecf112985fbecaa43;hb=b94774b8783de1b4eabc3ca4b0ef6aeee7a89538;hpb=57efcd4a2e42b97ab5f564b7b1229612d2c0a793

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