X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tree.mli;h=f3a4de69305212c37c4142d3030b1b81e09382f9;hb=7a84508ebd7b534215a768c771171e8f062e0d0b;hp=fd7bad709a7f07af871f9203d693ab705e90917a;hpb=04630ec1de987f525c6594fcada17bb49ee79d6a;p=SXSI%2Fxpathcomp.git

diff --git a/tree.mli b/tree.mli
index fd7bad7..f3a4de6 100644
--- 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
@@ -31,7 +32,10 @@ end
 
 module Binary : BINARY
 
+IFDEF DEBUG
+THEN
 module DEBUGTREE : sig
   include BINARY
   val print_stats : Format.formatter -> unit
 end
+ENDIF