Sorting xor-args in ascending order (same as others)

usi-verification-and-security · Oct 21, 2024 · 91c7d52 · 91c7d52
1 parent 1231625
commit 91c7d52
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/logics/Logic.cc b/src/logics/Logic.cc
@@ -467,7 +467,7 @@ PTRef Logic::mkXor(vec<PTRef> && args) {
     else if (args[0] == getTerm_false() || args[1] == getTerm_false())
         return (args[0] == getTerm_false() ? args[1] : args[0]);
 
-    sort(args, std::greater<PTRef>{});
+    termSort(args);
     tr = mkFun(getSym_xor(), std::move(args));
 
     if (tr == PTRef_Undef) {