]> matita.cs.unibo.it Git - helm.git/commitdiff
Bug fixed: off by one array access in the last patch.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 20 Apr 2007 14:31:25 +0000 (14:31 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 20 Apr 2007 14:31:25 +0000 (14:31 +0000)
helm/software/matita/matitamakeLib.ml

index 553e1176fe21df83355923d3ca1f8b8506333c2a..f811c84e2ecd56d633a6430d01ae933f62024b6e 100644 (file)
@@ -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)