diff options
Diffstat (limited to 'src/theory/booleans/theory_bool.h')
-rw-r--r-- | src/theory/booleans/theory_bool.h | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/theory/booleans/theory_bool.h b/src/theory/booleans/theory_bool.h index a4a3757cd..246f1e7e8 100644 --- a/src/theory/booleans/theory_bool.h +++ b/src/theory/booleans/theory_bool.h @@ -28,9 +28,11 @@ namespace booleans { class TheoryBool : public Theory { public: - TheoryBool(context::Context* c, context::UserContext* u, OutputChannel& out, Valuation valuation, const LogicInfo& logicInfo) : - Theory(THEORY_BOOL, c, u, out, valuation, logicInfo) { - } + TheoryBool(context::Context* c, context::UserContext* u, OutputChannel& out, + Valuation valuation, const LogicInfo& logicInfo, + SmtGlobals* globals) + : Theory(THEORY_BOOL, c, u, out, valuation, logicInfo, globals) + {} PPAssertStatus ppAssert(TNode in, SubstitutionMap& outSubstitutions); |