Add hooks to re-initialize hconsed modules.

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

diff --git a/src/transition.mli b/src/transition.mli
index d785904..e64531b 100644 (file)
--- a/src/transition.mli
+++ b/src/transition.mli
@@ -8,6 +8,7 @@ val uid : t -> Uid.t
 val equal : t -> t -> bool
 val stats : unit -> unit
 val compare : t -> t -> int
+val init : unit -> unit
 
 module Infix : sig
   val ( ?< ) : State.t -> State.t