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) {