[C] new lines in then output after each step

2022-12-20 16:38:29 +01:00 · 2022-12-20 16:38:29 +01:00 · 03def2ce1a
commit 03def2ce1a
parent ffa8918330
1 changed files with 1 additions and 1 deletions
--- 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