diff options
Diffstat (limited to 'src/theory/sep/theory_sep.cpp')
| -rw-r--r-- | src/theory/sep/theory_sep.cpp | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/theory/sep/theory_sep.cpp b/src/theory/sep/theory_sep.cpp index edb5dd0ae..f75eb4472 100644 --- a/src/theory/sep/theory_sep.cpp +++ b/src/theory/sep/theory_sep.cpp @@ -47,6 +47,8 @@ TheorySep::TheorySep(context::Context* c, ProofNodeManager* pnm) : Theory(THEORY_SEP, c, u, out, valuation, logicInfo, pnm), d_lemmas_produced_c(u), + d_bounds_init(false), + d_state(c, u, valuation), d_notify(*this), d_conflict(c, false), d_reduce(u), @@ -56,7 +58,9 @@ TheorySep::TheorySep(context::Context* c, { d_true = NodeManager::currentNM()->mkConst<bool>(true); d_false = NodeManager::currentNM()->mkConst<bool>(false); - d_bounds_init = false; + + // indicate we are using the default theory state object + d_theoryState = &d_state; } TheorySep::~TheorySep() { |