X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatitaclean.ml;h=89b602735704426403882177f64c4d8ee0415466;hb=ea2a86fd71f541b2b0c5c2ba217be75fd2cb5fe5;hp=d37f0bfdd99aa82ac00cf41e1ee552ab82d131aa;hpb=6b5e1d495c61f459738187e8d71efadb162abdbe;p=helm.git

diff --git a/helm/matita/matitaclean.ml b/helm/matita/matitaclean.ml
index d37f0bfdd..89b602735 100644
--- a/helm/matita/matitaclean.ml
+++ b/helm/matita/matitaclean.ml
@@ -78,7 +78,5 @@ let _ =
     Invalid_argument _ -> usage ());
   main !uris_to_remove;
   let moos = List.map MatitaMisc.obj_file_of_script !files_to_remove in
-  List.iter
-    (fun s -> try Unix.unlink s with Unix.Unix_error _ -> ()) 
-    moos
-    
+  List.iter MatitaMisc.safe_remove moos
+