X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;ds=sidebyside;f=src%2Fconfig.h;h=ce13d3c8ef6873db22e29ce7dc5d7e25ef0b1630;hb=b94774b8783de1b4eabc3ca4b0ef6aeee7a89538;hp=b83cc1f87d34f97a90fed8d5637a2cbaf219af8d;hpb=7601d07d77ec207b3984c2d31b69a60021c96dee;p=satune.git

diff --git a/src/config.h b/src/config.h
index b83cc1f..ce13d3c 100644
--- a/src/config.h
+++ b/src/config.h
@@ -11,8 +11,8 @@
  * @brief Configuration file.
  */
 
-#ifndef CONFIG_H
-#define CONFIG_H
+#ifndef SATC_CONFIG_H
+#define SATC_CONFIG_H
 
 /** Turn on debugging. */
 #ifndef CONFIG_DEBUG
@@ -20,7 +20,7 @@
 #endif
 
 #ifndef CONFIG_ASSERT
-//#define CONFIG_ASSERT
+#define CONFIG_ASSERT
 #endif
 
 #endif