fixed typo in print_xml_fast

[SXSI/xpathcomp.git] / options.mli

diff --git a/options.mli b/options.mli
index bd18d57..ebc5828 100644 (file)
--- a/options.mli
+++ b/options.mli
@@ -2,8 +2,9 @@ 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