matitaclean now call getter.ls using a buri with a trailing /

[helm.git] / helm / matita / matitaclean.ml

diff --git a/helm/matita/matitaclean.ml b/helm/matita/matitaclean.ml
index eb0c5787d3e0fbaac1d4a01907013385bb12e6b1..c24e94d4477b1cf7559af331a87dfcd02c26039c 100644 (file)
--- a/helm/matita/matitaclean.ml
+++ b/helm/matita/matitaclean.ml
@@ -70,7 +70,7 @@ let close_uri_list uri_to_remove =
   let uri_to_remove = 
     List.fold_left 
       (fun acc buri ->
-        let inhabitants = HG.ls buri in
+        let inhabitants = HG.ls (buri ^ "/") in
         let inhabitants = List.filter 
             (function HGT.Ls_object _ -> true | _ -> false) 
           inhabitants