X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Ftoplevel%2Ftop.ml;h=dc2bfee9334bc4966ed8f2661e22dbcbb05af290;hb=7bb64ff8dba4525e069bab692e67b1cda4be9e1d;hp=f7839a6f9c939fa59c7b56d391b1e148bcb430dc;hpb=f4683c14c4b45e1844a4cfa91b706f41096ad98e;p=helm.git

diff --git a/helm/software/lambda-delta/toplevel/top.ml b/helm/software/lambda-delta/toplevel/top.ml
index f7839a6f9..dc2bfee93 100644
--- a/helm/software/lambda-delta/toplevel/top.ml
+++ b/helm/software/lambda-delta/toplevel/top.ml
@@ -44,8 +44,11 @@ let main =
       if !summary > 1 then
 	 AO.count (AO.print_counters Cps.id) AO.initial_counters book;
       let f env =
-         if !summary > 1 then
-	    MO.count (MO.print_counters Cps.id) MO.initial_counters env
+	 if !summary > 1 then
+	    MO.count (MO.print_counters Cps.id) MO.initial_counters env;
+         let frm = Format.err_formatter in
+         Format.pp_set_margin frm max_int;
+         MO.pp_environment Cps.id frm (List.rev env)
       in
       if !stage > 0 then MA.meta_of_aut f book
    in