X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=main.ml;fp=main.ml;h=cb890e7a375aee9dd38344886f9502242cbb95db;hb=6a7025fee3c050eff58baa536a14d80baf5c1b87;hp=b30eff286dd6cd14f69de1f29ae8937fe01ab4c1;hpb=3445f7f08f15fe41e0d1bfaaabaacf60cdc10b61;p=SXSI%2Fxpathcomp.git

diff --git a/main.ml b/main.ml
index b30eff2..cb890e7 100644
--- a/main.ml
+++ b/main.ml
@@ -51,10 +51,10 @@ let main v query_string output =
       in
 (*      let _ = Printf.eprintf "Timing //keyword :" in
       let r = time (test_loop v) (Tag.tag "keyword") in
-      let _ = Printf.eprintf "Count is %i\n%!" r in
+      let _ = Printf.eprintf "Count is %i\n%!" r in *)
       let _ = Printf.eprintf "Timing //keyword 2:" in
       let r = time (test_loop2 v) (Tag.tag "keyword") in
-      let _ = Printf.eprintf "Count is %i\n%!" r in *)
+      let _ = Printf.eprintf "Count is %i\n%!" r in 
       XPath.Ast.print Format.err_formatter query;
       Format.fprintf Format.err_formatter "\n%!";
       Printf.eprintf "Compiling query : ";
@@ -105,7 +105,7 @@ let main v query_string output =
 	  begin
 	    let _ = Gc.full_major();Gc.compact() in
 	    let _ = Printf.eprintf "%!" in
-	    let _ = Gc.set (disabled_gc) in
+(*	    let _ = Gc.set (disabled_gc) in *)
 	      if !Options.backward && ((snd test_list) != `NOTHING )then 
 		
 		let r = time (bottom_up_count auto v )(snd test_list)  in