X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftransition.mli;h=e64531b2867f7e202ba50b37708ca97bdaafd442;hb=eb9a6467cb0860abf57f773a82da526aedc9802a;hp=d7859041791bcf62bafbc125ad278e347e7d78de;hpb=4b52da1a20a4fe031930bb96d2ca46bec06dc529;p=SXSI%2Fxpathcomp.git

diff --git a/src/transition.mli b/src/transition.mli
index d785904..e64531b 100644
--- 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