diff options
Diffstat (limited to 'src/theory/theory_engine.h')
| -rw-r--r-- | src/theory/theory_engine.h | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/src/theory/theory_engine.h b/src/theory/theory_engine.h index 0c4a80c98..1c42e336f 100644 --- a/src/theory/theory_engine.h +++ b/src/theory/theory_engine.h @@ -295,7 +295,7 @@ class TheoryEngine { public: /** Constructs a theory engine */ - TheoryEngine(Env& env, ProofNodeManager* pnm); + TheoryEngine(Env& env); /** Destroys a theory engine */ ~TheoryEngine(); @@ -314,12 +314,8 @@ class TheoryEngine { { Assert(d_theoryTable[theoryId] == NULL && d_theoryOut[theoryId] == NULL); d_theoryOut[theoryId] = new theory::EngineOutputChannel(this, theoryId); - d_theoryTable[theoryId] = new TheoryClass(getSatContext(), - getUserContext(), - *d_theoryOut[theoryId], - theory::Valuation(this), - d_logicInfo, - d_pnm); + d_theoryTable[theoryId] = + new TheoryClass(d_env, *d_theoryOut[theoryId], theory::Valuation(this)); theory::Rewriter::registerTheoryRewriter( theoryId, d_theoryTable[theoryId]->getTheoryRewriter()); } |