Commit ea7f5bad authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[wp] json report is always pretty

parent c301a51e
......@@ -284,9 +284,7 @@ let do_report_json () =
let js = stats_to_json g s in
js :: json
) !session [] in
let pretty =
Wp_parameters.verbose_atleast 2 || Wp_parameters.debug_atleast 1 in
Json.save_file ~pretty file (`List json)
Json.save_file file (`List json)
(* -------------------------------------------------------------------------- *)
(* --- Prover Results --- *)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment