diff options
Diffstat (limited to 'src/theory/strings/core_solver.cpp')
-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; |