X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftree.mli;h=0eb99c7ce5b024a4868ec60ebb88bfc224ab3232;hb=813b239795aac1844eb233dab7f8f98d8dba845e;hp=1fa5c3ba6525514ef9530e23043e26412e53f99c;hpb=4b52da1a20a4fe031930bb96d2ca46bec06dc529;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