From 807e801afa44d6ef74b5b6f8594b18ed57e4995e Mon Sep 17 00:00:00 2001
From: Mate Soos <soos.mate@gmail.com>
Date: Wed, 10 Jan 2024 21:16:11 +0100
Subject: [PATCH] XOR is now easier to parse for caque

---
 src/counter.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/counter.cpp b/src/counter.cpp
index 88cd8f2..53e5de6 100644
--- a/src/counter.cpp
+++ b/src/counter.cpp
@@ -178,7 +178,7 @@ void Counter::dump_cnf_from_solver(const vector<Lit>& assumps, const uint32_t it
     for(const auto& cl: cls_in_solver) f << cl << " 0" << endl;
     f << "c XORs below" << endl;
     for(const auto& x: xors_in_solver) {
-        f << "x";
+        f << "x ";
         for(uint32_t i = 0; i < x.first.size(); i++) {
             if (i == 0 && !x.second) f << "-";
             f << (x.first[i]+1) << " ";