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

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