From 91c7d5209e86f0b147d4658fba58264ddc241470 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tom=C3=A1=C5=A1=20Kol=C3=A1rik?= <tomaqa@gmail.com>
Date: Mon, 21 Oct 2024 12:55:49 +0200
Subject: [PATCH] Sorting xor-args in ascending order (same as others)

---
 src/logics/Logic.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/logics/Logic.cc b/src/logics/Logic.cc
index 64c7b972c..85f06522c 100644
--- 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) {