From 03def2ce1a34e08798569246781547b9fdf6f62d Mon Sep 17 00:00:00 2001
From: Arnaud DABY-SEESARAM <ds-ac@crans.org>
Date: Tue, 20 Dec 2022 16:38:29 +0100
Subject: [PATCH] [C] new lines in then output after each step

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

diff --git a/src/cprint.ml b/src/cprint.ml
index 061cd70..c9faf22 100644
--- a/src/cprint.ml
+++ b/src/cprint.ml
@@ -397,7 +397,7 @@ let cp_main_fn fmt (prog, sts) =
         Format.fprintf fmt ", state.%s[%d]%a"
           s i cp_printf_arg (h, i+1)
     in
-    Format.fprintf fmt "\"%a\"%a"
+    Format.fprintf fmt "\"%a\\n\"%a"
       cp_printf_str (false, vl)
       cp_printf_arg ((Hashtbl.find sts "main").nt_output_map, 0)
   in