X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftree.mli;h=883538d2d0d4da6199594802928393ad10e3b985;hb=43501e355e50f60c34999cefe9d44e3678dfb056;hp=e24add34f446c1f363265fcdd4348daf196e354c;hpb=b29432ae3b0802c9ea002da6b2ef43cc9998c90c;p=SXSI%2Fxpathcomp.git

diff --git a/src/tree.mli b/src/tree.mli
index e24add3..883538d 100644
--- a/src/tree.mli
+++ b/src/tree.mli
@@ -91,3 +91,6 @@ 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