X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tree.ml;h=20f0505be52dde7a460125fd5fa4356a0c1e16e7;hb=25dd7fcc77c2188732d96d5ff98d759bb81737cb;hp=6e866229bf3d95a32c529691479db48b45f5dede;hpb=09870a49122b3d7048422818dbb0a038513b4d14;p=SXSI%2Fxpathcomp.git

diff --git a/tree.ml b/tree.ml
index 6e86622..20f0505 100644
--- a/tree.ml
+++ b/tree.ml
@@ -484,7 +484,7 @@ let tagged_desc tag t =
     | _ -> { t with node = Nil }
 
 
-let tagged_foll_below tag t s =
+let tagged_foll_ctx tag t s =
     match s.node  with
       | Node (below)  -> 
 	  begin
@@ -510,6 +510,8 @@ let tagged_foll_below tag t s =
       | _ -> {t with node=Nil }	  
 
 
+
+
 let last_idx = ref 0
 let array_find a i j =
   let l = Array.length a in