1 files changed, 2 insertions, 1 deletions
diff --git a/src/theory/theory_engine.h b/src/theory/theory_engine.h
index c65fb7ed7..67830390c 100644
--- a/src/theory/theory_engine.h
+++ b/src/theory/theory_engine.h
@@ -43,7 +43,6 @@
 #include "util/cvc4_assert.h"
 #include "theory/ite_simplifier.h"
 #include "theory/unconstrained_simplifier.h"
-#include "theory/model.h"
 
 namespace CVC4 {
 
@@ -75,6 +74,8 @@ struct NodeTheoryPairHashFunction {
 
 namespace theory {
   class Instantiator;
+  class TheoryModel;
+  class TheoryEngineModelBuilder;
 }/* CVC4::theory namespace */
 
 class DecisionEngine;