Refactor MipLibTrick preprocessing pass. (#2359)

1 files changed, 12 insertions, 2 deletions

diff --git a/src/preprocessing/preprocessing_pass_context.cpp b/src/preprocessing/preprocessing_pass_context.cpp
index 31987b00b..af66c2a2a 100644
--- a/src/preprocessing/preprocessing_pass_context.cpp
+++ b/src/preprocessing/preprocessing_pass_context.cpp
@@ -22,8 +22,12 @@ namespace preprocessing {
 PreprocessingPassContext::PreprocessingPassContext(
     SmtEngine* smt,
     ResourceManager* resourceManager,
-    RemoveTermFormulas* iteRemover)
-    : d_smt(smt), d_resourceManager(resourceManager), d_iteRemover(iteRemover)
+    RemoveTermFormulas* iteRemover,
+    theory::booleans::CircuitPropagator* circuitPropagator)
+    : d_smt(smt),
+      d_resourceManager(resourceManager),
+      d_iteRemover(iteRemover),
+      d_circuitPropagator(circuitPropagator)
 {
 }
 
@@ -33,5 +37,11 @@ void PreprocessingPassContext::widenLogic(theory::TheoryId id)
   req.widenLogic(id);
 }
 
+void PreprocessingPassContext::enableIntegers()
+{
+  LogicRequest req(*d_smt);
+  req.enableIntegers();
+}
+
 }  // namespace preprocessing
 }  // namespace CVC4