X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tagSet.mli;h=825757a0e7845de5e07e6d3fa9b34e8c85466ed3;hb=cad5e2e2831477cba1f6211c57b9a4cc5b58bd55;hp=a232c0ac565fbab6fc8b5921d920f8bf7cac2458;hpb=09870a49122b3d7048422818dbb0a038513b4d14;p=SXSI%2Fxpathcomp.git

diff --git a/tagSet.mli b/tagSet.mli
index a232c0a..825757a 100644
--- a/tagSet.mli
+++ b/tagSet.mli
@@ -12,3 +12,4 @@ val pcdata : t
 val attribute : t
 val star : t
 val node : t
+val print : Format.formatter -> t -> unit