From ea2a86fd71f541b2b0c5c2ba217be75fd2cb5fe5 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 19 Jul 2005 17:24:06 +0000
Subject: [PATCH] use safe_remove to remove files instead of Unix.unlink

---
 helm/matita/matitaclean.ml | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

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
+
-- 
2.39.2