Some SAT stuff, not doing anything special yet, just to keep it in sync.

1 files changed, 5 insertions, 4 deletions

diff --git a/src/prop/prop_engine.cpp b/src/prop/prop_engine.cpp
index 76be5d6d8..32be206b0 100644
--- a/src/prop/prop_engine.cpp
+++ b/src/prop/prop_engine.cpp
@@ -26,20 +26,21 @@
 #include <map>
 
 using namespace std;
+using namespace CVC4::context;
 
 namespace CVC4 {
 namespace prop {
 
 PropEngine::PropEngine(const Options* opts, DecisionEngine* de,
-                       TheoryEngine* te)
+                       TheoryEngine* te, Context* context)
 : d_inCheckSat(false),
   d_options(opts),
   d_decisionEngine(de),
-  d_theoryEngine(te) 
+  d_theoryEngine(te),
+  d_context(context)
 {
   Debug("prop") << "Constructing the PropEngine" << endl;
-  d_satSolver = new SatSolver();
-  SatSolverProxy::initSatSolver(d_satSolver, d_options);
+  d_satSolver = new SatSolver(this, d_theoryEngine, d_context, d_options);
   d_cnfStream = new CVC4::prop::TseitinCnfStream(d_satSolver);
 }