X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fprobe%2FmatitaRemove.ml;h=87be455213258ebe0cc6d65f18b77ebe41eabb91;hb=65008df95049eb835941ffea1aa682c9253c4c2b;hp=0ad0cd1d4b3fcc67fda75c2d1f101b138dad5394;hpb=c07e9b0a3e65c28ca4154fec76a54a9a118fa7e1;p=helm.git

diff --git a/matita/components/binaries/probe/matitaRemove.ml b/matita/components/binaries/probe/matitaRemove.ml
index 0ad0cd1d4..87be45521 100644
--- a/matita/components/binaries/probe/matitaRemove.ml
+++ b/matita/components/binaries/probe/matitaRemove.ml
@@ -23,8 +23,8 @@ let remove_dir dir =
       rmdir (F.dirname dir)
    in
    if Y.file_exists dir then begin
-      A.iter map (Y.readdir dir);
-      try rmdir dir with U.Unix_error _ -> ()
+      try A.iter map (Y.readdir dir); rmdir dir
+      with U.Unix_error _ -> ()
    end
 
 let objects () =