X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatitaclean.ml;h=5aabf7558dab32467027798a40446199f0fc3646;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=9a5d1bf018228a995ad8a9a48d3d817dae32f1cc;hpb=595d77eece3202a799e786ac5996b6b1e25fac6e;p=helm.git

diff --git a/helm/matita/matitaclean.ml b/helm/matita/matitaclean.ml
index 9a5d1bf01..5aabf7558 100644
--- a/helm/matita/matitaclean.ml
+++ b/helm/matita/matitaclean.ml
@@ -28,11 +28,8 @@ open Printf
 module UM = UriManager
 module TA = GrafiteAst
 
-let _ = MatitaInit.initialize_all ()
-
-let main = MatitacleanLib.clean_baseuris
-
-let _ =
+let main () =
+  let _ = MatitaInit.initialize_all () in
   let uris_to_remove = ref [] in
   let files_to_remove = ref [] in
   (match Helm_registry.get_list Helm_registry.string "matita.args" with
@@ -57,7 +54,7 @@ let _ =
               UM.buri_of_uri (UM.uri_of_string suri)
             with UM.IllFormedUri _ ->
               files_to_remove := suri :: !files_to_remove;
-              let u = MatitaMisc.baseuri_of_file suri in
+              let u = MatitacleanLib.baseuri_of_file suri in
               if String.length u < 5 || String.sub u 0 5 <> "cic:/" then begin
                 MatitaLog.error (sprintf "File %s defines a bad baseuri: %s"
                   suri u);
@@ -67,7 +64,7 @@ let _ =
           in
           uris_to_remove := uri :: !uris_to_remove)
         files);
-  main !uris_to_remove;
-  let moos = List.map MatitaMisc.obj_file_of_script !files_to_remove in
+  MatitacleanLib.clean_baseuris !uris_to_remove;
+  let moos = List.map MatitacleanLib.obj_file_of_script !files_to_remove in
   List.iter MatitaMisc.safe_remove moos