X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftree.mli;h=db15525b6e34edd60416edcb3883102504c30cc8;hb=a6baedc6c67cb1de0587a779f8bcddf276b0bf4c;hp=0eb99c7ce5b024a4868ec60ebb88bfc224ab3232;hpb=63db110485e97e189313abd1a6ce1bedf941d76d;p=SXSI%2Fxpathcomp.git

diff --git a/src/tree.mli b/src/tree.mli
index 0eb99c7..db15525 100644
--- a/src/tree.mli
+++ b/src/tree.mli
@@ -29,6 +29,7 @@ val select_child : t -> node -> unordered_set -> node
 val next_sibling : t -> node -> node
 val prev_sibling : t -> node -> node
 val next_element : t -> node -> node
+val next_node_before : t -> node -> node -> node
 val tagged_following_sibling : t -> node ->  Tag.t -> node
 val select_following_sibling : t -> node -> unordered_set -> node