X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tagSet.mli;fp=tagSet.mli;h=825757a0e7845de5e07e6d3fa9b34e8c85466ed3;hb=6a7025fee3c050eff58baa536a14d80baf5c1b87;hp=a232c0ac565fbab6fc8b5921d920f8bf7cac2458;hpb=3445f7f08f15fe41e0d1bfaaabaacf60cdc10b61;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