From a32da523509358ede63065cc300614ba9c70e249 Mon Sep 17 00:00:00 2001
From: CEisenhofer <Clemens.Eisenhofer@tuwien.ac.at>
Date: Wed, 7 Dec 2022 15:54:58 +0100
Subject: [PATCH] Revert polarity in justifications

---
 src/sat/smt/xor_solver.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/sat/smt/xor_solver.cpp b/src/sat/smt/xor_solver.cpp
index 4ba573a57..31f1f406a 100644
--- a/src/sat/smt/xor_solver.cpp
+++ b/src/sat/smt/xor_solver.cpp
@@ -237,7 +237,6 @@ namespace xr {
         std::cout << "Justification from matrix " << j.get_matrix_idx() << " on row " << j.get_row_idx() << " (ID: " << ID << "):\n";
         for (unsigned i = 0; i < cl->size(); i++) {
             std::cout << (*cl)[i] << "(" << s().value((*cl)[i]) << ") ";
-            (*cl)[i].neg();
         }
         std::cout << std::endl;