fix sorting of terms

potassco · Dec 13, 2023 · 24e9ebb · 24e9ebb
1 parent 8d479ba
commit 24e9ebb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libgringo/src/term.cc b/libgringo/src/term.cc
@@ -372,7 +372,7 @@ void IESolver::add(IE ie, bool ignoreIfFixed) {
     std::sort(
         terms.begin(), terms.end(),
         [](auto const &a, auto const &b) {
-            return a.variable->name == b.variable->name;
+            return a.variable->name < b.variable->name;
         });
 
     // combine adjacent terms referring to the same variable