diff options
Diffstat (limited to 'test/unit/theory')
-rw-r--r-- | test/unit/theory/shared_term_manager_black.h | 3 | ||||
-rw-r--r-- | test/unit/theory/theory_engine_white.h | 3 |
2 files changed, 2 insertions, 4 deletions
diff --git a/test/unit/theory/shared_term_manager_black.h b/test/unit/theory/shared_term_manager_black.h index 76f3712f0..e88f11673 100644 --- a/test/unit/theory/shared_term_manager_black.h +++ b/test/unit/theory/shared_term_manager_black.h @@ -59,8 +59,7 @@ public: d_nm = new NodeManager(d_ctxt); d_scope = new NodeManagerScope(d_nm); - Options options; - d_theoryEngine = new TheoryEngine(d_ctxt, options); + d_theoryEngine = new TheoryEngine(d_ctxt); } void tearDown() { diff --git a/test/unit/theory/theory_engine_white.h b/test/unit/theory/theory_engine_white.h index f99698204..26908ec6e 100644 --- a/test/unit/theory/theory_engine_white.h +++ b/test/unit/theory/theory_engine_white.h @@ -242,8 +242,7 @@ public: d_nullChannel = new FakeOutputChannel; // create the TheoryEngine - Options options; - d_theoryEngine = new TheoryEngine(d_ctxt, options); + d_theoryEngine = new TheoryEngine(d_ctxt); d_theoryEngine->addTheory< FakeTheory<THEORY_BUILTIN> >(); d_theoryEngine->addTheory< FakeTheory<THEORY_BOOL> >(); |