diff --git a/src/plugins/wp/register.ml b/src/plugins/wp/register.ml
index 82763ef243f60a7ce722342dbfb65cd1473aafa3..2a2f331d902fe6c730d1ad521bf1cf269b108396 100644
--- a/src/plugins/wp/register.ml
+++ b/src/plugins/wp/register.ml
@@ -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                                                     --- *)