Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler into...

[satune.git] / src / config.h

diff --git a/src/config.h b/src/config.h
index db02014b5f128ab4262b83f69f1ec7ae5a12dfc9..5ce22b0f0fdf89a4f2e0e5c6690201aacddd6579 100644 (file)
--- 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
 
+
 #ifndef CONFIG_ASSERT
 #define CONFIG_ASSERT
 #endif