X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fquery_tree.ml;h=79aee48f5c1e3f363fe47742a16b74ad7e303acb;hp=c513bdb562e0bda7f9a064630ebc0a8497dd37e7;hb=f636f951e53b2503718d1e740ff7d967486d23f8;hpb=1340a75b9441bac6cbd54c30bd214664ee11a8ed

diff --git a/src/query_tree.ml b/src/query_tree.ml
index c513bdb..79aee48 100644
--- a/src/query_tree.ml
+++ b/src/query_tree.ml
@@ -1,6 +1,6 @@
 open Table
 
-
+let compteur = ref 0
 
 let all_nodes tree = let root = Naive_tree.root tree in
 		     eval_axis tree [root] (Descendant true)
@@ -144,5 +144,6 @@ let rec eval_query_tree tree start q =
       end
   in
   debug tree q resultat;
+  compteur := !compteur + (List.length resultat);
   resultat