Fix a nasty bug where the wrong pointer was passed to the C side.

[SXSI/xpathcomp.git] / src / tree.mli

diff --git a/src/tree.mli b/src/tree.mli
index e24add3..883538d 100644 (file)
--- 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