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: 0.4.95@7852~509
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=324d594e5e37081d945d631986447a95a1937634;p=helm.git

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

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