From 9561dd3371ac7fb150655009a2ef121f6b433d46 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 7 Dec 2022 11:24:43 -0800
Subject: [PATCH] missing newline

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

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