1 files changed, 6 insertions, 1 deletions
diff --git a/lib/SMT/lang.h b/lib/SMT/lang.h
index c021e63a..d4683f96 100644
--- a/lib/SMT/lang.h
+++ b/lib/SMT/lang.h
@@ -22,7 +22,12 @@
 #ifndef _cvc3__lang_h_
 #define _cvc3__lang_h_
 
-#include "debug.h"
+#include <assert.h>
+#include <stdlib.h>
+
+//#include "debug.h"
+#define FatalAssert(cond, msg) assert(#cond && msg)
+#define DebugAssert(cond, msg) assert(#cond && msg)
 
 namespace CVC3 {