X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fbasic_ag%2FbagOutput.ml;h=4e7ab87a027234fd21ecf276c77257a45b7ddbda;hb=62a12215bbf8686fab44e8db25babd3095983c8f;hp=589ce60f0f89912bfdf2eba98c448c01345ebceb;hpb=338e3e5c639fbcfeeb347a0121cacc6c0f1fc42a;p=helm.git

diff --git a/helm/software/lambda-delta/basic_ag/bagOutput.ml b/helm/software/lambda-delta/basic_ag/bagOutput.ml
index 589ce60f0..4e7ab87a0 100644
--- a/helm/software/lambda-delta/basic_ag/bagOutput.ml
+++ b/helm/software/lambda-delta/basic_ag/bagOutput.ml
@@ -84,6 +84,7 @@ let print_counters f c =
       c.tabbrs
    in
    let items = c.eabsts + c.eabbrs in
+   let locations = B.locations () in
    L.warn (P.sprintf "  Kernel representation summary (basic_ag)");
    L.warn (P.sprintf "    Total entry items:        %6u" items);
    L.warn (P.sprintf "      Declaration items:      %6u" c.eabsts);
@@ -96,6 +97,7 @@ let print_counters f c =
    L.warn (P.sprintf "      Application items:      %6u" c.tappls);
    L.warn (P.sprintf "      Abstraction items:      %6u" c.tabsts);
    L.warn (P.sprintf "      Abbreviation items:     %6u" c.tabbrs);
+   L.warn (P.sprintf "    Total binder locations:   %6u" locations);   
    f ()
 
 let indexes = ref false