X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2FstateSet.ml;h=551d638afc41e492f38796056b19e638775fad23;hb=refs%2Fheads%2Fmaster;hp=c202d4d95c7a3b4707245350e01cac26447067ba;hpb=4b52da1a20a4fe031930bb96d2ca46bec06dc529;p=SXSI%2Fxpathcomp.git

diff --git a/src/stateSet.ml b/src/stateSet.ml
index c202d4d..551d638 100644
--- 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
 )