From c49dd8a78fcceeef058126797e6bbe44d23b6804 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Fri, 28 Sep 2012 20:14:40 +0000
Subject: 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

---
 src/smt/smt_engine_scope.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/smt')

diff --git a/src/smt/smt_engine_scope.h b/src/smt/smt_engine_scope.h
index 926d3507b..60091a5fb 100644
--- a/src/smt/smt_engine_scope.h
+++ b/src/smt/smt_engine_scope.h
@@ -21,7 +21,7 @@
 
 #include "smt/smt_engine.h"
 #include "util/tls.h"
-#include "util/Assert.h"
+#include "util/cvc4_assert.h"
 #include "expr/node_manager.h"
 #include "util/output.h"
 
-- 
cgit v1.2.3