4 files changed, 4 insertions, 5 deletions
diff --git a/src/theory/bv/bitblaster_template.h b/src/theory/bv/bitblaster_template.h
index 7b071b9e9..ec76bb4f6 100644
--- a/src/theory/bv/bitblaster_template.h
+++ b/src/theory/bv/bitblaster_template.h
@@ -25,11 +25,11 @@
 #include "bitblast_strategies_template.h"
 #include "context/cdhashmap.h"
 #include "expr/node.h"
-#include "expr/resource_manager.h"
 #include "prop/sat_solver.h"
 #include "smt/smt_globals.h"
 #include "theory/theory_registrar.h"
 #include "theory/valuation.h"
+#include "util/resource_manager.h"
 
 class Abc_Obj_t_;
 typedef Abc_Obj_t_ Abc_Obj_t;
diff --git a/src/theory/output_channel.h b/src/theory/output_channel.h
index 2113ea66e..2491aef3a 100644
--- a/src/theory/output_channel.h
+++ b/src/theory/output_channel.h
@@ -20,9 +20,9 @@
 #define __CVC4__THEORY__OUTPUT_CHANNEL_H
 
 #include "base/cvc4_assert.h"
-#include "expr/resource_manager.h"
 #include "smt/logic_exception.h"
 #include "theory/interrupted.h"
+#include "util/resource_manager.h"
 
 namespace CVC4 {
 namespace theory {
diff --git a/src/theory/rewriter.cpp b/src/theory/rewriter.cpp
index 697736ebf..c98429dd2 100644
--- a/src/theory/rewriter.cpp
+++ b/src/theory/rewriter.cpp
@@ -17,12 +17,11 @@
 
 #include "theory/rewriter.h"
 
-#include "expr/resource_manager.h"
 #include "theory/theory.h"
 #include "smt/smt_engine_scope.h"
 #include "smt/smt_statistics_registry.h"
 #include "theory/rewriter_tables.h"
-
+#include "util/resource_manager.h"
 
 using namespace std;
 
diff --git a/src/theory/theory_engine.cpp b/src/theory/theory_engine.cpp
index bcc16c63a..25eac2ed4 100644
--- a/src/theory/theory_engine.cpp
+++ b/src/theory/theory_engine.cpp
@@ -23,7 +23,6 @@
 #include "expr/attribute.h"
 #include "expr/node.h"
 #include "expr/node_builder.h"
-#include "expr/resource_manager.h"
 #include "options/bv_options.h"
 #include "options/options.h"
 #include "options/quantifiers_options.h"
@@ -46,6 +45,7 @@
 #include "theory/theory_traits.h"
 #include "theory/uf/equality_engine.h"
 #include "theory/unconstrained_simplifier.h"
+#include "util/resource_manager.h"
 
 using namespace std;