X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=benchmark%2Fmain.ml;fp=benchmark%2Fmain.ml;h=b80faed1f981f33a86aa1d7b9ad6f953d29b965f;hb=ff0d1111e34d2aba9b6454e0c95b67bd38ba392c;hp=111f4214a931617aa2e0ebd164ae8bb1cdcd5a2f;hpb=b7760799ea0d052916a0581fb0abe119d49e8a63;p=SXSI%2Fxpathcomp.git

diff --git a/benchmark/main.ml b/benchmark/main.ml
index 111f421..b80faed 100644
--- a/benchmark/main.ml
+++ b/benchmark/main.ml
@@ -114,9 +114,10 @@ let l = TEST.test_engine [] (make_queryset
 
 List.iter (function (e,d),s -> 
 	     Printf.printf "\n--------------  %s   -----------------" e;
-	     Array.iter ( fun i ->
-	       print_newline ();
-	       print_newline ();
-	       print_stats Format.std_formatter i) (List.hd s);
+	     List.iter (fun k -> 
+			  Array.iter ( fun i ->
+					 print_newline ();
+					 print_newline ();
+					 print_stats Format.std_formatter i) k) s;
 	     Printf.printf "\n----------------------------------------\n"
 	  ) l