X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fquery_tree.mli;fp=src%2Fquery_tree.mli;h=2369eff63b1f0f153204fc7f8d608677fe7a1be0;hp=9afa1ad25179f79b934bef70888e85ef0d2cb6a5;hb=f636f951e53b2503718d1e740ff7d967486d23f8;hpb=1340a75b9441bac6cbd54c30bd214664ee11a8ed

diff --git a/src/query_tree.mli b/src/query_tree.mli
index 9afa1ad..2369eff 100644
--- a/src/query_tree.mli
+++ b/src/query_tree.mli
@@ -1,3 +1,5 @@
+val compteur : int ref
+
 val all_nodes : Naive_tree.t -> Naive_tree.node list
 (** [all_nodes t] returns all the nodes in the tree [t].
     Returns an empty list if there are no nodes in the tree.