diff options
Diffstat (limited to 'test/unit/theory/theory_black.h')
| -rw-r--r-- | test/unit/theory/theory_black.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/unit/theory/theory_black.h b/test/unit/theory/theory_black.h index 427a22c9d..c6da48291 100644 --- a/test/unit/theory/theory_black.h +++ b/test/unit/theory/theory_black.h @@ -82,13 +82,13 @@ public: } }; -class DummyTheory : public TheoryImpl<DummyTheory> { +class DummyTheory : public Theory { public: set<Node> d_registered; vector<Node> d_getSequence; DummyTheory(Context* ctxt, OutputChannel& out) : - TheoryImpl<DummyTheory>(ctxt, out) { + Theory(ctxt, out) { } void registerTerm(TNode n) { |