X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitacleanLib.ml;h=3a1d2e3db5068f3af2cd02819dbcbd692827901e;hb=3eff4cc36820df9faddb3cb16390717851db499c;hp=d5e4c8ddeb05850e2efdb47b9bddbd2b2f85d983;hpb=efdb0db81ef2594a2aced0310997ef0d74462254;p=helm.git diff --git a/helm/matita/matitacleanLib.ml b/helm/matita/matitacleanLib.ml index d5e4c8dde..3a1d2e3db 100644 --- a/helm/matita/matitacleanLib.ml +++ b/helm/matita/matitacleanLib.ml @@ -141,11 +141,11 @@ let clean_baseuris ?(verbose=true) buris = debug_prerr "clean_baseuri will remove:"; if debug then List.iter (fun u -> debug_prerr (UriManager.string_of_uri u)) l; - List.iter (MatitaSync.remove ~verbose) l; Hashtbl.iter (fun buri _ -> 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 List.iter