Added test program

[SXSI/xpathcomp.git] / tree.mli

diff --git a/tree.mli b/tree.mli
index 539103c..a9c38f1 100644 (file)
--- a/tree.mli
+++ b/tree.mli
@@ -87,7 +87,7 @@ val text_next :  t -> [`Tree] node -> [`Tree] node -> [`Tree] node
 val closing : t -> [`Tree] node -> [`Tree] node
 val is_open : t -> [`Tree] node -> bool
 
-val benchmark_jump : t -> Tag.t -> unit
+val benchmark_jump : t -> Tag.t -> int
 val benchmark_fcns : t -> int
 val benchmark_fene : t -> int
 val benchmark_lcps : t -> unit