From 9782d4a730174f406f710a7420822b11d3a3cdc4 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 26 Sep 2022 05:04:02 -0700
Subject: [PATCH] #5261

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/shell/dimacs_frontend.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/shell/dimacs_frontend.cpp b/src/shell/dimacs_frontend.cpp
index 092e01acf..12dedb64f 100644
--- a/src/shell/dimacs_frontend.cpp
+++ b/src/shell/dimacs_frontend.cpp
@@ -75,7 +75,7 @@ static void display_model(sat::solver const & s) {
         case l_true: std::cout << i << " ";  break;
         }
     }
-    std::cout << " 0\n";
+    std::cout << "0\n";
 }
 
 static void display_core(sat::solver const& s, vector<sat::literal_vector> const& tracking_clauses) {