X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fmatitaclean.ml;h=7c0bc4d3c00d1dff30e868c363b422ea47d96f68;hb=8a5c30a914d7ff665218b31853c6fb4bcf58aa08;hp=883aa3976196c8d55278a4e82f4d8cbcecb9aece;hpb=d7aca3eacb4bd8dc56223098f92e5370c82f92ff;p=helm.git

diff --git a/matita/matita/matitaclean.ml b/matita/matita/matitaclean.ml
index 883aa3976..7c0bc4d3c 100644
--- a/matita/matita/matitaclean.ml
+++ b/matita/matita/matitaclean.ml
@@ -114,9 +114,9 @@ let remove_all_items items =
            end *)
 *)
 
-let main () =
+let main_clean () =
   let _ = MatitaInit.initialize_all () in
-  if not (Helm_registry.get_bool "matita.verbose") then MatitaMisc.shutup ();
+  if not (Helm_registry.get_bool "matita.verbose") then MatitaMiscCli.shutup ();
   match Helm_registry.get_list Helm_registry.string "matita.args" with
     | [ "all" ] -> clean_all (); exit 0
     | []        -> 
@@ -124,3 +124,9 @@ let main () =
 	remove_all_items items
     | items     ->     
     	remove_all_items items
+
+let main () =
+  Sys.catch_break true;
+  main_clean ()
+
+let _ = main ()