X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Ftable_options.ml;h=f2b00163574a7f731521294f77089d16dd450cbb;hp=22122b3be83b6fe8451b80c72576f6ed22446fa4;hb=f636f951e53b2503718d1e740ff7d967486d23f8;hpb=1340a75b9441bac6cbd54c30bd214664ee11a8ed

diff --git a/src/table_options.ml b/src/table_options.ml
index 22122b3..f2b0016 100644
--- a/src/table_options.ml
+++ b/src/table_options.ml
@@ -1,15 +1,18 @@
 open Arg
 
-
+let count = ref false
 let input_file : string option ref = ref None
 let output_file : string option ref = ref None
 let queries = ref []
 
 
+
 let set_string_option r s = r := Some s 
 
 let specs = align [
- 
+   "-c", Set count,
+        " write the number of results only";
+  "--count", Set count, " ";
   "-d", String (set_string_option input_file),
         " specify the input document file [default stdin]";
   "--doc", String (set_string_option input_file), " ";