X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tree.mli;h=89bf83dfc793664c9de28778ed5ff5dc780ca8b3;hb=25a3fa55f6de1835d2407283eeb43b01819543f6;hp=e9ef8c7f99d23fad68726ab0c37b120595737916;hpb=dc91851aaeac91a71eba2c266d0227adea0c5815;p=SXSI%2Fxpathcomp.git

diff --git a/tree.mli b/tree.mli
index e9ef8c7..89bf83d 100644
--- a/tree.mli
+++ b/tree.mli
@@ -58,6 +58,7 @@ sig
   val print_id : Format.formatter -> t -> unit 
   val test_xml_tree : Format.formatter -> Ptset.t -> t -> unit
   val init_contains : t -> string -> unit
+  val init_naive_contains : t -> string -> unit
   val mk_nil : t -> t
   val test_jump : t -> Tag.t -> unit
 end