diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-02-11 11:11:30 -0800 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2020-02-11 11:11:30 -0800 |
| commit | f435f50c48789f442ffb27cdb90578e241f17659 (patch) | |
| tree | 36bd279f7753df6ccdfd7d3b1413f4eaa486bb47 /src | |
| parent | ac761c381de2cddaad95328476096f7c0d8a88db (diff) | |
Different heuristicdifferentIndexHeuristic
Diffstat (limited to 'src')
| -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 18dd0bb3c..f30691e0c 100644 --- a/src/theory/strings/core_solver.cpp +++ b/src/theory/strings/core_solver.cpp @@ -1189,7 +1189,7 @@ void CoreSolver::processSimpleNEq(NormalForm& nfi, // The candidate inference "info" InferInfo info; - info.d_index = index; + info.d_index = std::max(x.getId(), y.getId()); // for debugging info.d_i = nfi.d_base; info.d_j = nfj.d_base; |