removed cruft, fixed ptset.ml

[SXSI/xpathcomp.git] / tree.ml

diff --git a/tree.ml b/tree.ml
index 6e86622..20f0505 100644 (file)
--- 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