X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tree.mli;h=d8a49c96d55bee08f9b2fab2ca1c8a4f0aafebfa;hb=25dd7fcc77c2188732d96d5ff98d759bb81737cb;hp=9169f3960837f35306a178d9b2658550d5772c15;hpb=09870a49122b3d7048422818dbb0a038513b4d14;p=SXSI%2Fxpathcomp.git

diff --git a/tree.mli b/tree.mli
index 9169f39..d8a49c9 100644
--- a/tree.mli
+++ b/tree.mli
@@ -25,7 +25,7 @@ val tag : t -> Tag.t
 val text_below : t -> t
 val text_next : t -> t -> t
 val tagged_desc : Tag.t -> t -> t
-val tagged_foll_below : Tag.t -> t -> t -> t
+val tagged_foll_ctx : Tag.t -> t -> t -> t
 (*
 val select_desc_only : Ptset.Int.t -> t -> t
 val select_foll_only : Ptset.Int.t -> t -> t -> t