diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-02-10 14:38:16 -0800 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2020-02-10 14:38:16 -0800 |
| commit | 5a414f0750d5d6c000325d657e16fba89b2d4f6a (patch) | |
| tree | d5de8a07e3759d0a5678680bdbad649a7ace8d10 | |
| parent | ca0673f72725e08032992462dd490afb611d3662 (diff) | |
Address comment
| -rw-r--r-- | src/theory/strings/core_solver.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/theory/strings/core_solver.cpp b/src/theory/strings/core_solver.cpp index 032409dae..4e8ee1b54 100644 --- a/src/theory/strings/core_solver.cpp +++ b/src/theory/strings/core_solver.cpp @@ -1247,6 +1247,11 @@ void CoreSolver::processSimpleNEq(NormalForm& nfi, pinfer.push_back(info); break; } + else if (plr == ProcessLoopResult::CONFLICT) + { + break; + } + Assert(plr == ProcessLoopResult::SKIPPED); } } |