jsonify

src/OutFormat.ml

@@ -220,7 +220,7 @@ struct
     if is_interactive then
       let rec aux () =
         try
-          fprintf outfile ">@?";
+          if ost <> CoSim then fprintf outfile ">@?";
           match read_line () with
           | "step" | "s" -> Some (List.hd @@ parse_action "_[_]")
           | "exit" -> exit 0