X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tree.mli;h=4a8f12c52e9b031057bc0bbd2154dc5c9966361e;hb=9f227961ae2219728e4cdd56e4d4c4e7165e4306;hp=59bbcc226b5b5be4dc9fa8bff93e6301cf143c97;hpb=cad5e2e2831477cba1f6211c57b9a4cc5b58bd55;p=SXSI%2Fxpathcomp.git

diff --git a/tree.mli b/tree.mli
index 59bbcc2..4a8f12c 100644
--- a/tree.mli
+++ b/tree.mli
@@ -88,4 +88,6 @@ val closing : t -> [`Tree] node -> [`Tree] node
 val is_open : t -> [`Tree] node -> bool
 
 val benchmark_jump : t -> Tag.t -> unit
-val benchmark_fsns : t -> unit
+val benchmark_fcns : t -> unit
+val benchmark_lcps : t -> unit
+val stats : t -> unit