X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=options.mli;fp=options.mli;h=9db75a75ebf51c37c708ba35aaa27140741a450c;hb=83aa6cf8a120ea6681402ce42ae56631fca1ddf4;hp=bd18d57312383f4ed022b64768e3bf81836ea161;hpb=4680fa5b41156d70f0fde69981f0d241184b19d9;p=SXSI%2Fxpathcomp.git

diff --git a/options.mli b/options.mli
index bd18d57..9db75a7 100644
--- a/options.mli
+++ b/options.mli
@@ -2,6 +2,7 @@ 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