the old intermediate language (meta) is now obsolete

[helm.git] / helm / software / lambda-delta / src / toplevel / metaOutput.ml

diff --git a/helm/software/lambda-delta/src/toplevel/metaOutput.ml b/helm/software/lambda-delta/src/toplevel/metaOutput.ml
index 0f25e13e5f19555e0fd176900601657cd751f65c..73ff70e59e96d77c8ce51f0b58d9c5b7b962fcf1 100644 (file)
--- 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);