1 files changed, 15 insertions, 14 deletions
diff --git a/src/theory/quantifiers/quantifiers_modules.h b/src/theory/quantifiers/quantifiers_modules.h
index a4c5dfb6e..e83a13ea7 100644
--- a/src/theory/quantifiers/quantifiers_modules.h
+++ b/src/theory/quantifiers/quantifiers_modules.h
@@ -53,37 +53,38 @@ class QuantifiersModules
    * a pointer to each module it constructs to modules.
    */
   void initialize(QuantifiersEngine* qe,
-                  context::Context* c,
+                  QuantifiersState& qs,
                   std::vector<QuantifiersModule*>& modules);
+
  private:
   //------------------------------ quantifier utilities
   /** relevant domain */
-  std::unique_ptr<quantifiers::RelevantDomain> d_rel_dom;
+  std::unique_ptr<RelevantDomain> d_rel_dom;
   //------------------------------ quantifiers modules
   /** alpha equivalence */
-  std::unique_ptr<quantifiers::AlphaEquivalence> d_alpha_equiv;
+  std::unique_ptr<AlphaEquivalence> d_alpha_equiv;
   /** instantiation engine */
-  std::unique_ptr<quantifiers::InstantiationEngine> d_inst_engine;
+  std::unique_ptr<InstantiationEngine> d_inst_engine;
   /** model engine */
-  std::unique_ptr<quantifiers::ModelEngine> d_model_engine;
+  std::unique_ptr<ModelEngine> d_model_engine;
   /** bounded integers utility */
-  std::unique_ptr<quantifiers::BoundedIntegers> d_bint;
+  std::unique_ptr<BoundedIntegers> d_bint;
   /** Conflict find mechanism for quantifiers */
-  std::unique_ptr<quantifiers::QuantConflictFind> d_qcf;
+  std::unique_ptr<QuantConflictFind> d_qcf;
   /** subgoal generator */
-  std::unique_ptr<quantifiers::ConjectureGenerator> d_sg_gen;
+  std::unique_ptr<ConjectureGenerator> d_sg_gen;
   /** ceg instantiation */
-  std::unique_ptr<quantifiers::SynthEngine> d_synth_e;
+  std::unique_ptr<SynthEngine> d_synth_e;
   /** full saturation */
-  std::unique_ptr<quantifiers::InstStrategyEnum> d_fs;
+  std::unique_ptr<InstStrategyEnum> d_fs;
   /** counterexample-based quantifier instantiation */
-  std::unique_ptr<quantifiers::InstStrategyCegqi> d_i_cbqi;
+  std::unique_ptr<InstStrategyCegqi> d_i_cbqi;
   /** quantifiers splitting */
-  std::unique_ptr<quantifiers::QuantDSplit> d_qsplit;
+  std::unique_ptr<QuantDSplit> d_qsplit;
   /** quantifiers anti-skolemization */
-  std::unique_ptr<quantifiers::QuantAntiSkolem> d_anti_skolem;
+  std::unique_ptr<QuantAntiSkolem> d_anti_skolem;
   /** SyGuS instantiation engine */
-  std::unique_ptr<quantifiers::SygusInst> d_sygus_inst;
+  std::unique_ptr<SygusInst> d_sygus_inst;
 };
 
 }  // namespace quantifiers