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

diff --git a/src/tree.mli b/src/tree.mli
index 6640b27..e24add3 100644
--- a/src/tree.mli
+++ b/src/tree.mli
@@ -89,3 +89,5 @@ 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