Add hooks to re-initialize hconsed modules.

[SXSI/xpathcomp.git] / src / stateSet.ml

diff --git a/src/stateSet.ml b/src/stateSet.ml
index c202d4d..551d638 100644 (file)
--- a/src/stateSet.ml
+++ b/src/stateSet.ml
@@ -9,6 +9,7 @@ include Ptset.Make (
         external make : t -> int = "%identity"
         external node : t -> int = "%identity"
         external stats : unit -> unit = "%identity"
+         external init : unit -> unit = "%identity"
   end
 )