From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 20 Apr 2007 14:31:25 +0000 (+0000)
Subject: Bug fixed: off by one array access in the last patch.
X-Git-Tag: make_still_working~6368
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a4ea24a127fa391d3b65f15e18db5af138f14ed2;p=helm.git

Bug fixed: off by one array access in the last patch.
---

diff --git a/helm/software/matita/matitamakeLib.ml b/helm/software/matita/matitamakeLib.ml
index 553e1176f..f811c84e2 100644
--- 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)