1 files changed, 11 insertions, 3 deletions
diff --git a/src/bindings/compat/c/c_interface.cpp b/src/bindings/compat/c/c_interface.cpp
index d4f287dd7..6540f428c 100644
--- a/src/bindings/compat/c/c_interface.cpp
+++ b/src/bindings/compat/c/c_interface.cpp
@@ -29,9 +29,17 @@
 //#include "vc_cmd.h"
 //#include "theory_bitvector.h"
 //#include "fdstream.h"
-#include <string.h>
-#include <assert.h>
-
+#include <string>
+#include <cassert>
+#include <unistd.h>
+
+#ifdef CVC4_DEBUG
+#  define DebugAssert(cond, str) assert(cond)
+#  define IF_DEBUG(x) x
+#else
+#  define DebugAssert(...)
+#  define IF_DEBUG(x)
+#endif
 
 using namespace std;