X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftree.mli;h=0eb99c7ce5b024a4868ec60ebb88bfc224ab3232;hb=0158dd0bd369b50f3e784b3f4b6122ea4cbde822;hp=1fa5c3ba6525514ef9530e23043e26412e53f99c;hpb=4c1b85252e5abd40ef544fa9acab3e2c990ad958;p=SXSI%2Fxpathcomp.git

diff --git a/src/tree.mli b/src/tree.mli
index 1fa5c3b..0eb99c7 100644
--- a/src/tree.mli
+++ b/src/tree.mli
@@ -33,6 +33,7 @@ val tagged_following_sibling : t -> node ->  Tag.t -> node
 val select_following_sibling : t -> node -> unordered_set -> node
 
 val tagged_descendant : t -> node -> Tag.t -> node
+val tagged_next : t -> node -> Tag.t -> node
 val select_descendant : t -> node -> unordered_set -> node
 
 val tagged_following_before : t -> node -> Tag.t -> node ->  node