X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=main.ml;fp=main.ml;h=0650b6be0d5f4285db0a0677ea1b50739d2803d4;hb=8e1b9299e0c8e1731db61955ef756fa92ed8c615;hp=26b445e786a72b3d36cdd0cee3fbcb4f4e810dd5;hpb=1ff2494510cb02d136cbde3a064c0c8c94ec4216;p=SXSI%2Fxpathcomp.git

diff --git a/main.ml b/main.ml
index 26b445e..0650b6b 100644
--- a/main.ml
+++ b/main.ml
@@ -71,15 +71,14 @@ let main v query_string output =
 	  Ulexer.Loc.Exc_located ((x,y),e) -> Printf.eprintf "character %i-%i %s\n" x y (Printexc.to_string e);exit 1
       in
       let _ = Printf.eprintf "Number of nodes %i\n%!" (Tree.size v) in
-      let _ = Tree.stats v in
+(*      let _ = Tree.stats v in
       let _ = Printf.eprintf "Timing first_child/next_sibling %!" in
       let _ = time (Tree.benchmark_fcns)  v in
       let _ = Printf.eprintf "Timing last_child/prev_sibling %!" in
       let _ = time (Tree.benchmark_lcps)  v in
       let _ = Printf.eprintf "Timing jump to a %!" in
-      let _ = time (Tree.benchmark_jump v) (Tag.tag "a")  in
-      
-(*      let _ = Printf.eprintf "Timing pointer allocation %!" in
+      let _ = time (Tree.benchmark_jump v) (Tag.tag "a")  in      
+      let _ = Printf.eprintf "Timing pointer allocation %!" in
       let pointers = time (build_pointers) v  in
       let _ = Printf.eprintf "Timing pointer iteration %!" in
       let i = time (iter_pointers) pointers  in