CSC: terrific bug fixed. Enrico commented the application of eta_fix to the body

[helm.git] / helm / software / matita / matitamakeLib.ml

diff --git a/helm/software/matita/matitamakeLib.ml b/helm/software/matita/matitamakeLib.ml
index 553e1176fe21df83355923d3ca1f8b8506333c2a..f811c84e2ecd56d633a6430d01ae933f62024b6e 100644 (file)
--- a/helm/software/matita/matitamakeLib.ml
+++ b/helm/software/matita/matitamakeLib.ml
@@ -101,7 +101,7 @@ let development_for_dir dir =
       false
     else
       let pref = String.sub d2 0 len1 in
-      pref = d1 && d2.[len1] = '/'
+      pref = d1 && (len1 = len2 || d2.[len1] = '/')
   in
   try
     Some (List.find (fun d -> is_prefix_of d.root dir) !developments)