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

diff --git a/src/config.h b/src/config.h
index 6eafa57..5ce22b0 100644
--- a/src/config.h
+++ b/src/config.h
@@ -11,16 +11,14 @@
  * @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