rename Assert.h/Assert.cpp to cvc4_assert.h/cvc4_assert.cpp -- we need to make it unambiguous for case-insensitive filesystems like on Mac. Fixes Mac builds

4 files changed, 4 insertions, 4 deletions

diff --git a/test/unit/context/cdmap_white.h b/test/unit/context/cdmap_white.h
index db940f3ea..0ff896f91 100644
--- a/test/unit/context/cdmap_white.h
+++ b/test/unit/context/cdmap_white.h
@@ -19,7 +19,7 @@
 #include <cxxtest/TestSuite.h>
 
 #include "context/cdhashmap.h"
-#include "util/Assert.h"
+#include "util/cvc4_assert.h"
 
 using namespace std;
 using namespace CVC4;
diff --git a/test/unit/context/cdo_black.h b/test/unit/context/cdo_black.h
index 6d40a0fb1..67ca2bfa9 100644
--- a/test/unit/context/cdo_black.h
+++ b/test/unit/context/cdo_black.h
@@ -23,7 +23,7 @@
 #include "context/context.h"
 #include "context/cdlist.h"
 #include "context/cdo.h"
-#include "util/Assert.h"
+#include "util/cvc4_assert.h"
 
 using namespace std;
 using namespace CVC4;
diff --git a/test/unit/context/context_black.h b/test/unit/context/context_black.h
index 1a50d0637..e47ba3950 100644
--- a/test/unit/context/context_black.h
+++ b/test/unit/context/context_black.h
@@ -23,7 +23,7 @@
 #include "context/context.h"
 #include "context/cdlist.h"
 #include "context/cdo.h"
-#include "util/Assert.h"
+#include "util/cvc4_assert.h"
 
 using namespace std;
 using namespace CVC4;
diff --git a/test/unit/context/context_white.h b/test/unit/context/context_white.h
index 9fb94097d..5fdcbf5c9 100644
--- a/test/unit/context/context_white.h
+++ b/test/unit/context/context_white.h
@@ -20,7 +20,7 @@
 
 #include "context/context.h"
 #include "context/cdo.h"
-#include "util/Assert.h"
+#include "util/cvc4_assert.h"
 
 using namespace std;
 using namespace CVC4;