X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2FmatitacleanLib.ml;h=51268acef0c8084216a7107346308b23813f3416;hb=28ac70d3f475442cda4ef30e0e9c0e6d012b2527;hp=a263a526fd7e05a65855b3413a8eecef3818b630;hpb=ed7711935c7377ea8785a9f3b85984785b92030e;p=helm.git

diff --git a/helm/matita/matitacleanLib.ml b/helm/matita/matitacleanLib.ml
index a263a526f..51268acef 100644
--- a/helm/matita/matitacleanLib.ml
+++ b/helm/matita/matitacleanLib.ml
@@ -143,8 +143,8 @@ let clean_baseuris ?(verbose=true) buris =
     List.iter (fun u -> debug_prerr (UriManager.string_of_uri u)) l; 
   Hashtbl.iter
    (fun buri _ ->
-     MatitaMisc.safe_remove (MatitaMisc.obj_file_of_baseuri buri)
-   ) cache_of_processed_baseuri;
+     MatitaMisc.safe_remove (MatitaMisc.obj_file_of_baseuri buri)) 
+   cache_of_processed_baseuri;
   List.iter (MatitaSync.remove ~verbose) l;
   cleaned_no := !cleaned_no + List.length l;
   if !cleaned_no > 30 then