10 files changed, 10 insertions, 10 deletions
diff --git a/src/theory/arrays/static_fact_manager.cpp b/src/theory/arrays/static_fact_manager.cpp
index dfa32418f..8e4335213 100644
--- a/src/theory/arrays/static_fact_manager.cpp
+++ b/src/theory/arrays/static_fact_manager.cpp
@@ -21,7 +21,7 @@
 #include <iostream>
 
 #include "theory/arrays/static_fact_manager.h"
-#include "util/Assert.h"
+#include "util/cvc4_assert.h"
 #include "expr/node.h"
 
 using namespace std;
diff --git a/src/theory/arrays/union_find.cpp b/src/theory/arrays/union_find.cpp
index 57fd412e4..408bb64ac 100644
--- a/src/theory/arrays/union_find.cpp
+++ b/src/theory/arrays/union_find.cpp
@@ -21,7 +21,7 @@
 #include <iostream>
 
 #include "theory/arrays/union_find.h"
-#include "util/Assert.h"
+#include "util/cvc4_assert.h"
 #include "expr/node.h"
 
 using namespace std;
diff --git a/src/theory/datatypes/theory_datatypes.cpp b/src/theory/datatypes/theory_datatypes.cpp
index 3305b88d8..f1c8fd657 100644
--- a/src/theory/datatypes/theory_datatypes.cpp
+++ b/src/theory/datatypes/theory_datatypes.cpp
@@ -21,7 +21,7 @@
 #include "theory/valuation.h"
 #include "expr/kind.h"
 #include "util/datatype.h"
-#include "util/Assert.h"
+#include "util/cvc4_assert.h"
 #include "theory/datatypes/theory_datatypes_instantiator.h"
 #include "theory/datatypes/datatypes_rewriter.h"
 #include "theory/model.h"
diff --git a/src/theory/logic_info.cpp b/src/theory/logic_info.cpp
index c4ae81927..79fcaaebd 100644
--- a/src/theory/logic_info.cpp
+++ b/src/theory/logic_info.cpp
@@ -24,7 +24,7 @@
 
 #include "expr/kind.h"
 #include "theory/logic_info.h"
-#include "util/Assert.h"
+#include "util/cvc4_assert.h"
 
 using namespace std;
 using namespace CVC4::theory;
diff --git a/src/theory/output_channel.h b/src/theory/output_channel.h
index 8ddf809b6..760cc1f4d 100644
--- a/src/theory/output_channel.h
+++ b/src/theory/output_channel.h
@@ -21,7 +21,7 @@
 #ifndef __CVC4__THEORY__OUTPUT_CHANNEL_H
 #define __CVC4__THEORY__OUTPUT_CHANNEL_H
 
-#include "util/Assert.h"
+#include "util/cvc4_assert.h"
 #include "theory/interrupted.h"
 
 namespace CVC4 {
diff --git a/src/theory/quantifiers/theory_quantifiers.cpp b/src/theory/quantifiers/theory_quantifiers.cpp
index c45626dd9..16c976475 100644
--- a/src/theory/quantifiers/theory_quantifiers.cpp
+++ b/src/theory/quantifiers/theory_quantifiers.cpp
@@ -23,7 +23,7 @@
 #include "theory/quantifiers/instantiation_engine.h"
 #include "theory/quantifiers/model_engine.h"
 #include "expr/kind.h"
-#include "util/Assert.h"
+#include "util/cvc4_assert.h"
 #include "theory/quantifiers/theory_quantifiers_instantiator.h"
 #include "theory/quantifiers/options.h"
 #include "theory/quantifiers/term_database.h"
diff --git a/src/theory/theory.cpp b/src/theory/theory.cpp
index 79e4f6a36..1ae9edb73 100644
--- a/src/theory/theory.cpp
+++ b/src/theory/theory.cpp
@@ -17,7 +17,7 @@
  **/
 
 #include "theory/theory.h"
-#include "util/Assert.h"
+#include "util/cvc4_assert.h"
 #include "theory/quantifiers_engine.h"
 #include "theory/quantifiers/instantiator_default.h"
 
diff --git a/src/theory/theory_test_utils.h b/src/theory/theory_test_utils.h
index ee7b4cf2d..9a5df133a 100644
--- a/src/theory/theory_test_utils.h
+++ b/src/theory/theory_test_utils.h
@@ -21,7 +21,7 @@
 #ifndef __CVC4__THEORY__THEORY_TEST_UTILS_H
 #define __CVC4__THEORY__THEORY_TEST_UTILS_H
 
-#include "util/Assert.h"
+#include "util/cvc4_assert.h"
 #include "expr/node.h"
 #include "theory/output_channel.h"
 #include "theory/interrupted.h"
diff --git a/src/theory/type_enumerator.h b/src/theory/type_enumerator.h
index 7b097ac77..fa7334697 100644
--- a/src/theory/type_enumerator.h
+++ b/src/theory/type_enumerator.h
@@ -24,7 +24,7 @@
 #include "util/exception.h"
 #include "expr/node.h"
 #include "expr/type_node.h"
-#include "util/Assert.h"
+#include "util/cvc4_assert.h"
 
 namespace CVC4 {
 namespace theory {
diff --git a/src/theory/type_enumerator_template.cpp b/src/theory/type_enumerator_template.cpp
index 0619a900f..cb0fadc76 100644
--- a/src/theory/type_enumerator_template.cpp
+++ b/src/theory/type_enumerator_template.cpp
@@ -21,7 +21,7 @@
 #include "theory/type_enumerator.h"
 
 #include "expr/kind.h"
-#include "util/Assert.h"
+#include "util/cvc4_assert.h"
 
 ${type_enumerator_includes}
 #line 28 "${template}"