X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftree.mli;h=883538d2d0d4da6199594802928393ad10e3b985;hb=798507d52a5c11a6d852740056464241538fe76a;hp=6640b277cbb5927aa42aa50e28685e3dcae294e9;hpb=2cb4fceda48a09fc1acd65c54372651b14e0f404;p=SXSI%2Fxpathcomp.git

diff --git a/src/tree.mli b/src/tree.mli
index 6640b27..883538d 100644
--- a/src/tree.mli
+++ b/src/tree.mli
@@ -89,3 +89,8 @@ type bit_vector
 val bit_vector_create : int -> bit_vector
 val bit_vector_unsafe_set : bit_vector -> int -> bool -> unit
 val bit_vector_unsafe_get : bit_vector -> int -> bool
+
+val reinit : unit -> unit
+
+type tree_pointer
+val get_tree_pointer : t -> tree_pointer