diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-02-11 08:10:37 -0800 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2020-02-11 08:10:37 -0800 |
commit | ac761c381de2cddaad95328476096f7c0d8a88db (patch) | |
tree | e51c1a9edc4ed31980e03e9c8aa7e2beaeab088f | |
parent | cec1f2298275a4c3bd5d4345c106c146d63acdda (diff) |
Change index heuristic
-rw-r--r-- | src/theory/strings/core_solver.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/strings/core_solver.cpp b/src/theory/strings/core_solver.cpp index d7429e67d..18dd0bb3c 100644 --- a/src/theory/strings/core_solver.cpp +++ b/src/theory/strings/core_solver.cpp @@ -991,7 +991,7 @@ void CoreSolver::processNEqc(std::vector<NormalForm>& normal_forms) Trace("strings-solve") << pinfer[i].d_conc << " by " << pinfer[i].d_id << std::endl; if (!set_use_index || pinfer[i].d_id < min_id - || (pinfer[i].d_id == min_id && pinfer[i].d_index > max_index)) + || (pinfer[i].d_id == min_id && pinfer[i].d_index < max_index)) { min_id = pinfer[i].d_id; max_index = pinfer[i].d_index; |