Merge branch 'local-ocamlbuild' into local-trunk

[SXSI/xpathcomp.git] / options.mli

diff --git a/options.mli b/options.mli
deleted file mode 100644 (file)
index 3d9eda2..0000000
--- a/options.mli
+++ /dev/null
@@ -1,12 +0,0 @@
-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 backward : bool ref