X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fmain.ml;fp=src%2Fmain.ml;h=8e0e1309da041f922db92c0c2f3ff5bbd308a4d6;hb=0da8c3c7c76ab06d5ccfc6ae52488d7549735059;hp=48f2e468e8223f1b113eb8b5c776e24e1ee9df55;hpb=50da4f8d437372ae53be11a68beb424b35b28966;p=SXSI%2Fxpathcomp.git diff --git a/src/main.ml b/src/main.ml index 48f2e46..8e0e130 100644 --- a/src/main.ml +++ b/src/main.ml @@ -33,6 +33,7 @@ let mk_runtime run auto doc arg count print outfile = let main v query_string output = Tag.init (Tree.tag_operations v); + if !Options.docstats then Tree.stats v; let query = time ~msg:"Parsing query" XPath.parse query_string in