diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-10-29 17:17:48 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-29 17:17:48 -0500 |
| commit | 3596632eef07dbe28ea4a4f166c18ad9fe26d4e0 (patch) | |
| tree | 44e51e039df6f9b099cc7545a98f4e5615245016 /src | |
| parent | d23ba1433846b9baaf6149137aa999c1af60c516 (diff) | |
Set strings pending conflict flag (#5364)
While addressing the review on 6898ab9, strings eager conflicts were accidentally disabled, this reenables them.
Diffstat (limited to 'src')
| -rw-r--r-- | src/theory/strings/solver_state.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/theory/strings/solver_state.cpp b/src/theory/strings/solver_state.cpp index 40edb88cf..89d77b033 100644 --- a/src/theory/strings/solver_state.cpp +++ b/src/theory/strings/solver_state.cpp @@ -246,6 +246,7 @@ void SolverState::setPendingConflict(InferInfo& ii) if (!d_pendingConflictSet.get()) { d_pendingConflict = ii; + d_pendingConflictSet.set(true); } } |