X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tagSet.mli;h=825757a0e7845de5e07e6d3fa9b34e8c85466ed3;hb=cf6d366b25132eea7b0f1966c11d034d748af0fa;hp=572057e1d426e1beffd73e29f9118568a9e98dd0;hpb=d64e3a3a9ef6329caafdba848ef78427fce0d689;p=SXSI%2Fxpathcomp.git

diff --git a/tagSet.mli b/tagSet.mli
index 572057e..825757a 100644
--- a/tagSet.mli
+++ b/tagSet.mli
@@ -5,10 +5,11 @@
 (*  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.Int.t
 
 val tag : Tag.t -> t
 val pcdata : t
 val attribute : t
 val star : t
 val node : t
+val print : Format.formatter -> t -> unit