X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2Fconfig.h;h=ce13d3c8ef6873db22e29ce7dc5d7e25ef0b1630;hp=2e48668479d21cfacd8bf42e014849ec5a83d2aa;hb=24940f1c2b64462da246d0ed237f0825dd04e6ca;hpb=7fbe24c7815dd1b756c65174d33d7e3d8cc1d892

diff --git a/src/config.h b/src/config.h
index 2e48668..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