Release of coccinelle 1.0.0-rc9

[bpt/coccinelle.git] / commons / common.ml

diff --git a/commons/common.ml b/commons/common.ml
index e4678d1..aa4d6e2 100644 (file)
--- a/commons/common.ml
+++ b/commons/common.ml
@@ -6105,6 +6105,7 @@ let main_boilerplate f =
          if !profile <> PNONE
          then pr2 (profile_diagnostic ());
          erase_temp_files ();
+        clear_pr2_once()
        )
     )
 (* let _ = if not !Sys.interactive then (main ()) *)