From 57c54eb8a9009592223452e6efaa935711d73a18 Mon Sep 17 00:00:00 2001
From: Michael Schwarz <michael.schwarz93@gmail.com>
Date: Mon, 18 Apr 2022 17:27:21 +0200
Subject: [PATCH] Use print_endline for execution of main not reaching the end
 as well (https://github.com/goblint/gobview/issues/10)

---
 src/framework/control.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/framework/control.ml b/src/framework/control.ml
index d40776a85d..ca345e25f2 100644
--- a/src/framework/control.ml
+++ b/src/framework/control.ml
@@ -551,7 +551,7 @@ struct
       (* check for dead code at the last state: *)
       let main_sol = try LHT.find lh (List.hd startvars') with Not_found -> Spec.D.bot () in
       if get_bool "dbg.debug" && Spec.D.is_bot main_sol then
-        Printf.printf "NB! Execution does not reach the end of Main.\n";
+        print_endline "NB! Execution does not reach the end of Main.\n";
 
       if get_bool "dump_globs" then
         print_globals gh;