X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tagSet.mli;h=825757a0e7845de5e07e6d3fa9b34e8c85466ed3;hb=bf2b1a91300ace1e7e83bd78f868a269d86498f9;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