From de74e342c649e7ca253385a5b24b13530a6ab4c0 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 23 Sep 2022 13:19:55 -0500
Subject: [PATCH] #5261

---
 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 a5d562440..092e01acf 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 << "\n";
+    std::cout << " 0\n";
 }
 
 static void display_core(sat::solver const& s, vector<sat::literal_vector> const& tracking_clauses) {