.

[SXSI/xpathcomp.git] / tagSet.mli

diff --git a/tagSet.mli b/tagSet.mli
index d536c8c..a232c0a 100644 (file)
--- 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 and type set = Ptset.t
+include FiniteCofinite.S with type elt = Tag.t and type set = Ptset.Int.t
 
 val tag : Tag.t -> t
 val pcdata : t