X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2Fconfig.h;h=5ce22b0f0fdf89a4f2e0e5c6690201aacddd6579;hb=6e30239f4df65eb00da5e4e61785ea4453370026;hp=0c53dd6dbab21bb3a45e2955f0110b322a1614c3;hpb=747484c9f7ce17d58e4084730c0683f392b19dee;p=satune.git

diff --git a/src/config.h b/src/config.h
index 0c53dd6..5ce22b0 100644
--- a/src/config.h
+++ b/src/config.h
@@ -11,15 +11,15 @@
  * @brief Configuration file.
  */
 
-#ifndef CONFIG_H
-#define CONFIG_H
+#ifndef SATC_CONFIG_H
+#define SATC_CONFIG_H
 
 /** Turn on debugging. */
 #ifndef CONFIG_DEBUG
 //#define CONFIG_DEBUG
-#define TRACE_DEBUG
 #endif
-//#define SATCHECK_CONFIG
+
+
 #ifndef CONFIG_ASSERT
 #define CONFIG_ASSERT
 #endif