From c202779f5230c147128ce80d663709acc6246c32 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 8 Dec 2022 14:13:43 -0800
Subject: [PATCH] fix pp

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

diff --git a/src/sat/smt/xor_gaussian.cpp b/src/sat/smt/xor_gaussian.cpp
index ed4f91d7c..6733d3ba9 100644
--- a/src/sat/smt/xor_gaussian.cpp
+++ b/src/sat/smt/xor_gaussian.cpp
@@ -370,21 +370,24 @@ std::ostream& PackedMatrix::display_dense(std::ostream& out) const {
 }
 
 std::ostream& EGaussian::display(std::ostream& out) const {
+    if (m_mat.num_rows() == 0)
+        return out;
+    out << "xors\n";
     for (auto const& row : m_mat) {
         bool first = true;
         for (int i = 0; i < row.get_size() * 64; ++i) {
             if (row[i]) {
                 if (first)
-                    out << "(x";
+                    out << "x";
                 int v = m_column_to_var[i];
                 if (first && !row.rhs())
                     v = -v;
                 out << " " << v;
                 first = false;
             }
-        }
+        }        
         if (!first)
-            out << ")";
+            out << "\n";
     }
     return out;
 }