X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Foptions.ml;h=343536d0b5cb326006f533b716747ad048c4d4f5;hb=3c54231a8b01bd8e3ea3e3d8e5efa812153c5283;hp=e1f02f2e8b8c1bccc9c70eef2f40b294aed181f5;hpb=4b52da1a20a4fe031930bb96d2ca46bec06dc529;p=SXSI%2Fxpathcomp.git

diff --git a/src/options.ml b/src/options.ml
index e1f02f2..343536d 100644
--- a/src/options.ml
+++ b/src/options.ml
@@ -32,8 +32,9 @@ let anon_fun =
     | _ -> raise (Arg.Bad(s))
 
 let spec = [ "-c", Arg.Set(count_only), "counting only (don't materialize the result set)";
-	     "-t", Arg.Set(time), "print timing statistics";
+(*	     "-t", Arg.Set(time), "print timing statistics";
 	     "-max-tc", Arg.Set_int(tc_threshold), "set maximum count for which the TextCollection is used";
+*)
              "-f", Arg.Set_int(sample_factor), "sample factor [default=64]";
 	     "-i", Arg.Set(index_empty_texts), "index empty texts [default=false]";
 	     "-d", Arg.Set(disable_text_collection), "disable text collection[default=false]";