X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Ftoplevel%2FmetaOutput.ml;h=73ff70e59e96d77c8ce51f0b58d9c5b7b962fcf1;hb=e7f64fe2cc67f3514131c8831f87311ff600d005;hp=0f25e13e5f19555e0fd176900601657cd751f65c;hpb=f7988fc51f7c96617aa2b3320628645480af681a;p=helm.git

diff --git a/helm/software/lambda-delta/src/toplevel/metaOutput.ml b/helm/software/lambda-delta/src/toplevel/metaOutput.ml
index 0f25e13e5..73ff70e59 100644
--- a/helm/software/lambda-delta/src/toplevel/metaOutput.ml
+++ b/helm/software/lambda-delta/src/toplevel/metaOutput.ml
@@ -90,7 +90,7 @@ let print_counters f c =
    let pars = c.pabsts + c.pappls in
    let entries = c.eabsts + c.eabbrs in
    let nodes = c.nodes + c.xnodes in
-   L.warn (P.sprintf "  Intermediate representation summary");
+   L.warn (P.sprintf "  Intermediate representation summary (meta)");
    L.warn (P.sprintf "    Total entries:            %7u" entries);
    L.warn (P.sprintf "      Declaration items:      %7u" c.eabsts);
    L.warn (P.sprintf "      Definition items:       %7u" c.eabbrs);