From 923fcf4771cc6a353383fdfcbbbc22f3e31c1fdb Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 7 Dec 2022 09:51:44 -0800
Subject: [PATCH] attempting to fix display method

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/sat/smt/xor_solver.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/sat/smt/xor_solver.cpp b/src/sat/smt/xor_solver.cpp
index 31f1f406a..bbbbdcd7e 100644
--- a/src/sat/smt/xor_solver.cpp
+++ b/src/sat/smt/xor_solver.cpp
@@ -311,6 +311,9 @@ namespace xr {
     }
 
     std::ostream& solver::display(std::ostream& out) const {
+        out << "xor clauses: " << m_xorclauses.size() << "\n";
+        for (auto const& x : m_xorclauses)
+            out << x << "\n";
         return out;
     }