diff --git a/src/sat/smt/xor_gaussian.cpp b/src/sat/smt/xor_gaussian.cpp
index 5c8d5f245..cb73c6b38 100644
--- a/src/sat/smt/xor_gaussian.cpp
+++ b/src/sat/smt/xor_gaussian.cpp
@@ -380,6 +380,7 @@ std::ostream& PackedMatrix::display_sparse(std::ostream& out) const {
                 first = false;
             }
         }
+        out << "\n";
     }
     return out;
 }