1 files changed, 2 insertions, 4 deletions
diff --git a/src/theory/quantifiers/ematching/instantiation_engine.h b/src/theory/quantifiers/ematching/instantiation_engine.h
index 139adcb04..b959bef2d 100644
--- a/src/theory/quantifiers/ematching/instantiation_engine.h
+++ b/src/theory/quantifiers/ematching/instantiation_engine.h
@@ -17,10 +17,9 @@
 #ifndef CVC4__THEORY__QUANTIFIERS__INSTANTIATION_ENGINE_H
 #define CVC4__THEORY__QUANTIFIERS__INSTANTIATION_ENGINE_H
 
-#include <memory>
+#include <vector>
 
-#include "theory/quantifiers_engine.h"
-#include "theory/quantifiers/theory_quantifiers.h"
+#include "theory/quantifiers/quant_util.h"
 
 namespace CVC4 {
 namespace theory {
@@ -64,7 +63,6 @@ class InstantiationEngine : public QuantifiersModule {
   /** auto gen triggers; only kept for destructor cleanup */
   std::unique_ptr<InstStrategyAutoGenTriggers> d_i_ag;
 
-  typedef context::CDHashMap<Node, bool, NodeHashFunction> BoolMap;
   /** current processing quantified formulas */
   std::vector<Node> d_quants;