From 62e51d870facff46ce382ddaa8216be2737d1c45 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Sat, 29 Sep 2012 13:52:53 +0000
Subject: [PATCH] fixes to "make distclean" and C compatibility bindings;
 should fix the broken builds last night

---
 src/bindings/compat/c/c_interface.cpp | 14 +++++++++++---
 1 file 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;
 
-- 
2.30.2