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