X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2FstateSet.ml;fp=src%2FstateSet.ml;h=551d638afc41e492f38796056b19e638775fad23;hb=35b9abd60699383b0cebf25e905049d3d7027271;hp=c202d4d95c7a3b4707245350e01cac26447067ba;hpb=689b47b109dc54a78008f589f2c55f98672ab61d;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
 )