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

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

diff --git a/src/sat/smt/xor_gaussian.cpp b/src/sat/smt/xor_gaussian.cpp
index 6733d3ba9..cde500b7b 100644
--- a/src/sat/smt/xor_gaussian.cpp
+++ b/src/sat/smt/xor_gaussian.cpp
@@ -372,7 +372,6 @@ 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) {