ajout d'un compteur pour compter le nombre de noeuds évalués

[tatoo.git] / src / table_options.ml

diff --git a/src/table_options.ml b/src/table_options.ml
index 22122b3..f2b0016 100644 (file)
--- 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), " ";