X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tagSet.ml;h=74784cfb8c38ae309fe37b9646cd96b72a84fe3c;hb=f0557f21878be17ddc75b1bc8f4f86da68c8e604;hp=76c1c9840944bd1a156b6b987ccc5326576ab2b8;hpb=dc91851aaeac91a71eba2c266d0227adea0c5815;p=SXSI%2Fxpathcomp.git

diff --git a/tagSet.ml b/tagSet.ml
index 76c1c98..74784cf 100644
--- a/tagSet.ml
+++ b/tagSet.ml
@@ -4,8 +4,8 @@ struct
   let hash = Hashtbl.hash
 end
   *)
-module M  : FiniteCofinite.S with type elt = Tag.t and type set = Ptset.t =
-  FiniteCofinite.Make(Ptset)
+module M  : FiniteCofinite.S with type elt = Tag.t and type set = Ptset.Int.t =
+  FiniteCofinite.Make(Ptset.Int)
 include M