X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Foptions.ml;h=babad16e9603b557200773183860499658adcff0;hb=798507d52a5c11a6d852740056464241538fe76a;hp=4a7a0c768dff54cc3f750364b651e5e98ec1baf3;hpb=c560c779122e09b6c38c3167623c3e6e40abe7fc;p=SXSI%2Fxpathcomp.git

diff --git a/src/options.ml b/src/options.ml
index 4a7a0c7..babad16 100644
--- a/src/options.ml
+++ b/src/options.ml
@@ -1,27 +1,6 @@
 open Utils
 open Format
-
-let index_empty_texts = ref true
-let sample_factor = ref 64
-let disable_text_collection = ref false
-let tc_threshold = ref 60000
-
-let query = ref ""
-let input_file = ref ""
-let output_file = ref None
-let save_file = ref ""
-let count_only = ref false
-let time = ref false
-let bottom_up = ref false
-let no_jump = ref false
-let no_cache = ref false
-let verbose = ref false
-let text_index_type = ref 0
-let do_perf = ref false
-let twopass = ref false
-let repeat = ref 1
-let docstats = ref false
-let no_wrap_results = ref false
+open Config
 
 let set_index_type = function
   | "default" -> text_index_type := 0