diff options
-rw-r--r-- | src/theory/strings/core_solver.cpp | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/theory/strings/core_solver.cpp b/src/theory/strings/core_solver.cpp index f250647af..447af00e8 100644 --- a/src/theory/strings/core_solver.cpp +++ b/src/theory/strings/core_solver.cpp @@ -953,10 +953,6 @@ void CoreSolver::processNEqc(std::vector<NormalForm>& normal_forms) { return; } - else if (!pinfer.empty() && pinfer.back().d_id == 1) - { - break; - } //AJR: for less aggressive endpoint inference //rindex = 0; @@ -966,10 +962,6 @@ void CoreSolver::processNEqc(std::vector<NormalForm>& normal_forms) { return; } - else if (!pinfer.empty() && pinfer.back().d_id == 1) - { - break; - } } } } |