X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Foptions.mli;h=bf181800419c42d7733fda06bbf12976ea46f7aa;hb=cb728132e1c5cb0a171ee09e9b3ced16da08f796;hp=497f565cd39b33f67c6d7b9c24c16e593a24eed9;hpb=4b52da1a20a4fe031930bb96d2ca46bec06dc529;p=SXSI%2Fxpathcomp.git

diff --git a/src/options.mli b/src/options.mli
index 497f565..bf18180 100644
--- a/src/options.mli
+++ b/src/options.mli
@@ -1,15 +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 verbose : bool ref
-val text_index_type : int ref