X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Ftable_driver.ml;h=d75c5df8d514e780c51a6a446acc1b5f28a29259;hp=1f04028b893f2ac0e7344450cfe9e8f22345cfa2;hb=f636f951e53b2503718d1e740ff7d967486d23f8;hpb=1340a75b9441bac6cbd54c30bd214664ee11a8ed

diff --git a/src/table_driver.ml b/src/table_driver.ml
index 1f04028..d75c5df 100644
--- a/src/table_driver.ml
+++ b/src/table_driver.ml
@@ -32,7 +32,11 @@ let main () =
       print_node_list doc res;
       print_string "</xml_result>\n"
     ) query_tree_list ;
-
+  
+  let _ = if !Table_options.count then 
+       Format.fprintf Format.std_formatter "there are %i nodes\n" !Query_tree.compteur;
+  in
+  
  (* let output =
     match !Options.output_file with
       | None | Some "-" | Some "/dev/stdout" -> stdout