diff options
Diffstat (limited to 'src/theory/sep')
-rw-r--r-- | src/theory/sep/theory_sep.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/sep/theory_sep.cpp b/src/theory/sep/theory_sep.cpp index 5585b36ab..db842e5a8 100644 --- a/src/theory/sep/theory_sep.cpp +++ b/src/theory/sep/theory_sep.cpp @@ -899,7 +899,7 @@ void TheorySep::postCheck(Effort level) if (needAddLemma) { - d_im.setIncomplete(); + d_im.setIncomplete(IncompleteId::SEP); } Trace("sep-check") << "Sep::check(): " << level << " done, conflict=" << d_state.isInConflict() |