From: kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Date: Fri, 9 Sep 2011 16:01:51 +0000 (+0000)
Subject: Comment out unused options.
X-Git-Url: http://git.nguyen.vg/gitweb/?a=commitdiff_plain;h=3c54231a8b01bd8e3ea3e3d8e5efa812153c5283;hp=f9ae94d85120129130e9e9ddf9c832c5e92c3cdd;p=SXSI%2Fxpathcomp.git

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
--- 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]";