diff options
Diffstat (limited to 'src/theory/sets/solver_state.cpp')
| -rw-r--r-- | src/theory/sets/solver_state.cpp | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/src/theory/sets/solver_state.cpp b/src/theory/sets/solver_state.cpp index 2aaa82706..6f8976f4d 100644 --- a/src/theory/sets/solver_state.cpp +++ b/src/theory/sets/solver_state.cpp @@ -26,11 +26,8 @@ namespace cvc5 { namespace theory { namespace sets { -SolverState::SolverState(context::Context* c, - context::UserContext* u, - Valuation val, - SkolemCache& skc) - : TheoryState(c, u, val), d_skCache(skc), d_members(c) +SolverState::SolverState(Env& env, Valuation val, SkolemCache& skc) + : TheoryState(env, val), d_skCache(skc), d_members(env.getContext()) { d_true = NodeManager::currentNM()->mkConst(true); d_false = NodeManager::currentNM()->mkConst(false); |