X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Foptions.ml;fp=src%2Foptions.ml;h=0c7c92d8abcdcbe9dbb2c0501f712f9a778afd62;hb=d3db422b91ed145abd0eccb83e96c97d6431fac6;hp=cec31bc6b91f364af7a8a32f06738094d31f5549;hpb=4814ef8392dd9197a6bef7d7bc82be4c2b8e7f5d;p=SXSI%2Fxpathcomp.git diff --git a/src/options.ml b/src/options.ml index cec31bc..0c7c92d 100644 --- a/src/options.ml +++ b/src/options.ml @@ -1,7 +1,7 @@ open Utils open Format -let index_empty_texts = ref false +let index_empty_texts = ref true let sample_factor = ref 64 let disable_text_collection = ref false let tc_threshold = ref 60000 @@ -67,8 +67,8 @@ let spec = Arg.align "-f", Arg.Set_int(sample_factor), " sample factor [default=64]"; - "-i", Arg.Set(index_empty_texts), - " index empty texts [default=false]"; + "-ne", Arg.Clear(index_empty_texts), + " don't index empty texts [default=index]"; "-d", Arg.Set(disable_text_collection), " disable text collection[default=false]";