From 5efc0cd28524a45b8fb25c4b1c0f8c42830fc3ef Mon Sep 17 00:00:00 2001
From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Wed, 3 Mar 2010 23:39:43 +0000
Subject: Some SAT stuff, not doing anything special yet, just to keep it in
 sync.

---
 src/prop/prop_engine.cpp | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

(limited to 'src/prop/prop_engine.cpp')

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);
 }
 
-- 
cgit v1.2.3