X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fquery_tree.mli;h=130d7cba2c41071741a90a1e06e864b9fa06ee9d;hp=7335e5258aad4f2ffd3df35a0f4dab51ec2c1a39;hb=refs%2Fheads%2Ffeature%2Fstage-huibo;hpb=c5480c3711c7431e70f78871c738f2d86ecb96ac

diff --git a/src/query_tree.mli b/src/query_tree.mli
index 7335e52..130d7cb 100644
--- a/src/query_tree.mli
+++ b/src/query_tree.mli
@@ -1,5 +1,5 @@
-val compteur : int ref
-(**the counter of nodes*)
+val query_tree_size : int ref
+(**the size of query_tree*)
 
 val element_by_tag : Naive_tree.t -> QNameSet.t -> Tree.NodeKind.t -> Bitvector.t
 (** [element_by_tag t tag] returns all the nodes whose tag equal to [tag] in the tree [t]. *)