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/expr/expr_template.cpp          | 2 +-
 src/expr/metakind_template.h        | 2 +-
 src/expr/node.h                     | 2 +-
 src/expr/node_builder.h             | 2 +-
 src/expr/node_manager.cpp           | 2 +-
 src/expr/node_self_iterator.h       | 2 +-
 src/expr/pickle_data.cpp            | 2 +-
 src/expr/pickler.cpp                | 2 +-
 src/expr/type_node.h                | 2 +-
 src/expr/type_properties_template.h | 2 +-
 10 files changed, 10 insertions(+), 10 deletions(-)

(limited to 'src/expr')

diff --git a/src/expr/expr_template.cpp b/src/expr/expr_template.cpp
index 5070c852f..f39c0e7ea 100644
--- a/src/expr/expr_template.cpp
+++ b/src/expr/expr_template.cpp
@@ -20,7 +20,7 @@
 #include "expr/node.h"
 #include "expr/expr_manager_scope.h"
 #include "expr/variable_type_map.h"
-#include "util/Assert.h"
+#include "util/cvc4_assert.h"
 
 #include <vector>
 #include <iterator>
diff --git a/src/expr/metakind_template.h b/src/expr/metakind_template.h
index dbaba664c..f9091bdb1 100644
--- a/src/expr/metakind_template.h
+++ b/src/expr/metakind_template.h
@@ -24,7 +24,7 @@
 #include <iostream>
 
 #include "expr/kind.h"
-#include "util/Assert.h"
+#include "util/cvc4_assert.h"
 
 namespace CVC4 {
 
diff --git a/src/expr/node.h b/src/expr/node.h
index 7108ba74a..b7c4b3ad8 100644
--- a/src/expr/node.h
+++ b/src/expr/node.h
@@ -36,7 +36,7 @@
 #include "expr/kind.h"
 #include "expr/metakind.h"
 #include "expr/expr.h"
-#include "util/Assert.h"
+#include "util/cvc4_assert.h"
 #include "util/configuration.h"
 #include "util/output.h"
 #include "util/exception.h"
diff --git a/src/expr/node_builder.h b/src/expr/node_builder.h
index fa9b1c011..0c8ac40f8 100644
--- a/src/expr/node_builder.h
+++ b/src/expr/node_builder.h
@@ -173,7 +173,7 @@ namespace CVC4 {
 
 #include "expr/kind.h"
 #include "expr/metakind.h"
-#include "util/Assert.h"
+#include "util/cvc4_assert.h"
 #include "expr/node_value.h"
 #include "util/output.h"
 
diff --git a/src/expr/node_manager.cpp b/src/expr/node_manager.cpp
index a66933470..d7eda7437 100644
--- a/src/expr/node_manager.cpp
+++ b/src/expr/node_manager.cpp
@@ -20,7 +20,7 @@
 
 #include "expr/node_manager.h"
 
-#include "util/Assert.h"
+#include "util/cvc4_assert.h"
 #include "options/options.h"
 #include "util/statistics_registry.h"
 #include "util/tls.h"
diff --git a/src/expr/node_self_iterator.h b/src/expr/node_self_iterator.h
index 37c28ab07..b97d1ab14 100644
--- a/src/expr/node_self_iterator.h
+++ b/src/expr/node_self_iterator.h
@@ -23,7 +23,7 @@
 
 #include <iterator>
 
-#include "util/Assert.h"
+#include "util/cvc4_assert.h"
 #include "expr/node.h"
 
 namespace CVC4 {
diff --git a/src/expr/pickle_data.cpp b/src/expr/pickle_data.cpp
index 1de8f2cf7..b31442b7f 100644
--- a/src/expr/pickle_data.cpp
+++ b/src/expr/pickle_data.cpp
@@ -31,7 +31,7 @@
 #include "expr/node_value.h"
 #include "expr/expr_manager_scope.h"
 #include "expr/variable_type_map.h"
-#include "util/Assert.h"
+#include "util/cvc4_assert.h"
 #include "expr/kind.h"
 #include "expr/metakind.h"
 
diff --git a/src/expr/pickler.cpp b/src/expr/pickler.cpp
index 14477f3cd..a41db794d 100644
--- a/src/expr/pickler.cpp
+++ b/src/expr/pickler.cpp
@@ -30,7 +30,7 @@
 #include "expr/node_value.h"
 #include "expr/expr_manager_scope.h"
 #include "expr/variable_type_map.h"
-#include "util/Assert.h"
+#include "util/cvc4_assert.h"
 #include "expr/kind.h"
 #include "expr/metakind.h"
 #include "util/output.h"
diff --git a/src/expr/type_node.h b/src/expr/type_node.h
index a0397e0bd..fa1d6cdaa 100644
--- a/src/expr/type_node.h
+++ b/src/expr/type_node.h
@@ -31,7 +31,7 @@
 
 #include "expr/kind.h"
 #include "expr/metakind.h"
-#include "util/Assert.h"
+#include "util/cvc4_assert.h"
 #include "util/cardinality.h"
 
 namespace CVC4 {
diff --git a/src/expr/type_properties_template.h b/src/expr/type_properties_template.h
index ee7a93144..ea1812278 100644
--- a/src/expr/type_properties_template.h
+++ b/src/expr/type_properties_template.h
@@ -24,7 +24,7 @@
 #line 25 "${template}"
 
 #include "expr/type_node.h"
-#include "util/Assert.h"
+#include "util/cvc4_assert.h"
 #include "expr/kind.h"
 #include "expr/expr.h"
 #include "util/language.h"
-- 
cgit v1.2.3