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;
     }