Split the Options module in two to remove a circular dependency in

[SXSI/xpathcomp.git] / src / options.mli

diff --git a/src/options.mli b/src/options.mli
index 4626e57..bf18180 100644 (file)
--- a/src/options.mli
+++ b/src/options.mli
@@ -1,21 +1 @@
 val parse_cmdline : unit -> unit
-val index_empty_texts : bool ref
-val sample_factor : int ref
-val disable_text_collection : bool ref
-val count_only : bool ref
-val query : string ref
-val input_file : string ref
-val output_file : string option ref
-val save_file : string ref
-val time : bool ref
-val tc_threshold : int ref
-val bottom_up : bool ref
-val no_jump : bool ref
-val no_cache : bool ref
-val verbose : bool ref
-val text_index_type : int ref
-val do_perf : bool ref
-val twopass : bool ref
-val repeat : int ref
-val docstats : bool ref
-val no_wrap_results : bool ref