From 3c54231a8b01bd8e3ea3e3d8e5efa812153c5283 Mon Sep 17 00:00:00 2001 From: kim Date: Fri, 9 Sep 2011 16:01:51 +0000 Subject: [PATCH] Comment out unused options. git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1115 3cdefd35-fc62-479d-8e8d-bae585ffb9ca --- src/options.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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]"; -- 2.17.1