X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Foptions.ml;h=73077943f6b0a0bffcad5243b9bd76fdd6cc8620;hb=7e27afe6fa006ad355237ccc0695c6493ea57929;hp=197982d3def88b5d443d60bd0156d71f20c60410;hpb=38a3c71734760b87bd2ee9a5f80c8aaeadc9ee54;p=SXSI%2Fxpathcomp.git

diff --git a/src/options.ml b/src/options.ml
index 197982d..7307794 100644
--- a/src/options.ml
+++ b/src/options.ml
@@ -1,26 +1,5 @@
 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