Fix stupid bug with Tag indices

[SXSI/xpathcomp.git] / tree.mli

diff --git a/tree.mli b/tree.mli
index fd7bad7..6fa19b0 100644 (file)
--- a/tree.mli
+++ b/tree.mli
@@ -12,6 +12,7 @@ sig
   type t
   val parse_xml_uri : string -> t
   val parse_xml_string : string -> t
+  val tag_pool : t -> Tag.pool
   val string : t -> string
   val descr : t -> descr
   val left : t -> t