Merge branch 'master' into brian
[satune.git] / src / config.h
index b97f7da287e1ab0a963b39ef1cb571be87d1f6bb..bd998c0a437fd69a3115897cbf06cfb2b2b60826 100644 (file)
@@ -20,9 +20,7 @@
 #endif
 
 #ifndef CONFIG_ASSERT
-//#define CONFIG_ASSERT
+#define CONFIG_ASSERT
 #endif
 
-//#define VERBOSE_CONSTRAINTS
-
 #endif