added optimisations in the run function

[SXSI/xpathcomp.git] / tagSet.mli

diff --git a/tagSet.mli b/tagSet.mli
index a232c0a..825757a 100644 (file)
--- 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