X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2Fconfig.h;h=db02014b5f128ab4262b83f69f1ec7ae5a12dfc9;hp=b97f7da287e1ab0a963b39ef1cb571be87d1f6bb;hb=35f0fe10227c0bf210440fb284da9dac23ddfee8;hpb=87cb8e1dbc1d3e6e726944392fa52ae852746e82

diff --git a/src/config.h b/src/config.h
index b97f7da..db02014 100644
--- a/src/config.h
+++ b/src/config.h
@@ -17,12 +17,11 @@
 /** Turn on debugging. */
 #ifndef CONFIG_DEBUG
 //#define CONFIG_DEBUG
+#define TRACE_DEBUG
 #endif
 
 #ifndef CONFIG_ASSERT
-//#define CONFIG_ASSERT
+#define CONFIG_ASSERT
 #endif
 
-//#define VERBOSE_CONSTRAINTS
-
 #endif