Add hooks to re-initialize hconsed modules.

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

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