From ddd7804e0f846e96aa63478881ca06290cb2a39f Mon Sep 17 00:00:00 2001
From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= <kn@lri.fr>
Date: Sun, 21 Oct 2012 09:53:31 +0200
Subject: [PATCH] Forgot to add the new src/config.ml file.

---
 src/config.ml | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 src/config.ml

diff --git a/src/config.ml b/src/config.ml
new file mode 100644
index 0000000..67ec6d4
--- /dev/null
+++ b/src/config.ml
@@ -0,0 +1,21 @@
+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 : string option ref = 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
-- 
2.17.1