Comment out unused options.

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1115 3cdefd35-fc62-479d-8e8d-bae585ffb9ca

diff --git a/src/options.ml b/src/options.ml
index e1f02f2..343536d 100644 (file)
--- 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]";