X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tree.mli;fp=tree.mli;h=a9c38f1e6c26828ee2b5e137ab68f52ff2d282ac;hb=c02900bb9b9ecd87ab08465f7dad36dd7cd34d50;hp=539103cc1392fea94e49482e78d4f86c93d1e4d7;hpb=0c2338bfcdae0df1c68112a10247dc4e68a483ff;p=SXSI%2Fxpathcomp.git

diff --git a/tree.mli b/tree.mli
index 539103c..a9c38f1 100644
--- 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