X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tagSet.ml;h=76c1c9840944bd1a156b6b987ccc5326576ab2b8;hb=cea756c7adc49891004bfe455628010eb7a28bc9;hp=503df80f1cdd98620c7fff1fe4db9c125861ce0f;hpb=5b4679e20761058f1e04c123da52631c0dd265cc;p=SXSI%2Fxpathcomp.git

diff --git a/tagSet.ml b/tagSet.ml
index 503df80..76c1c98 100644
--- a/tagSet.ml
+++ b/tagSet.ml
@@ -4,10 +4,14 @@ struct
   let hash = Hashtbl.hash
 end
   *)
-include FiniteCofinite.Make(Ptset)
+module M  : FiniteCofinite.S with type elt = Tag.t and type set = Ptset.t =
+  FiniteCofinite.Make(Ptset)
+include M
+
 
 let tag t = singleton t
 let pcdata = singleton Tag.pcdata
 let attribute = singleton Tag.attribute
 let star = diff any (cup pcdata attribute)
 let node = neg attribute
+