From 324d594e5e37081d945d631986447a95a1937634 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 20 Apr 2007 14:31:25 +0000
Subject: [PATCH] Bug fixed: off by one array access in the last patch.

---
 matita/matitamakeLib.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)
-- 
2.39.2