X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=options.mli;h=ebc58285d15a3c2f60096096b763e940a30916b8;hb=d4342e4bb9c853114de295567cd91ec86bb9e68f;hp=aabd1fd85f6f514f549349ca57d0da50a44f3792;hpb=eebef30070a951d852ce5811b289d8131a5300eb;p=SXSI%2Fxpathcomp.git

diff --git a/options.mli b/options.mli
index aabd1fd..ebc5828 100644
--- 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