diff options
Diffstat (limited to 'src/theory/idl/theory_idl.cpp')
| -rw-r--r-- | src/theory/idl/theory_idl.cpp | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/src/theory/idl/theory_idl.cpp b/src/theory/idl/theory_idl.cpp index 12ac1e802..82056a6d4 100644 --- a/src/theory/idl/theory_idl.cpp +++ b/src/theory/idl/theory_idl.cpp @@ -30,12 +30,15 @@ namespace CVC4 { namespace theory { namespace idl { -TheoryIdl::TheoryIdl(context::Context* c, context::UserContext* u, - OutputChannel& out, Valuation valuation, +TheoryIdl::TheoryIdl(Environment* env, + context::Context* c, + context::UserContext* u, + OutputChannel& out, + Valuation valuation, const LogicInfo& logicInfo) - : Theory(THEORY_ARITH, c, u, out, valuation, logicInfo) - , d_model(c) - , d_assertionsDB(c) + : Theory(THEORY_ARITH, env, c, u, out, valuation, logicInfo), + d_model(c), + d_assertionsDB(c) {} Node TheoryIdl::ppRewrite(TNode atom) { |