X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tagSet.mli;fp=tagSet.mli;h=d536c8cde10a3c245158f624e7ba6ca2eb584492;hb=dc91851aaeac91a71eba2c266d0227adea0c5815;hp=572057e1d426e1beffd73e29f9118568a9e98dd0;hpb=5cc0fe57953445af433b00023e5f4b6c1d0fe549;p=SXSI%2Fxpathcomp.git

diff --git a/tagSet.mli b/tagSet.mli
index 572057e..d536c8c 100644
--- a/tagSet.mli
+++ b/tagSet.mli
@@ -5,7 +5,7 @@
 (*  Distributed under the terms of the LGPL (see LICENCE)                     *)
 (******************************************************************************)
 
-include FiniteCofinite.S with type elt = Tag.t
+include FiniteCofinite.S with type elt = Tag.t and type set = Ptset.t
 
 val tag : Tag.t -> t
 val pcdata : t