X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Flib%2Flog.ml;h=42f7f214b34b31eae85d3019a8b77b89f749c015;hb=150f931929c8333dbcfff8dbe77fb2e177f44c56;hp=e248eddf4ee6a6db9145bca4f0c8bdcca46fb9c7;hpb=edf9e34100f49d4aa5ba8f3ce53e34af7718d88e;p=helm.git

diff --git a/helm/software/helena/src/lib/log.ml b/helm/software/helena/src/lib/log.ml
index e248eddf4..42f7f214b 100644
--- a/helm/software/helena/src/lib/log.ml
+++ b/helm/software/helena/src/lib/log.ml
@@ -36,7 +36,7 @@ let pp_items och a st l items =
    let indent = KT.make (l+l) ' ' in    
    let pp_item och = function
       | Term (c, t) -> KP.fprintf och "%s%a\n" indent (st.pp_term a c) t
-      | LEnv c      -> KP.fprintf och "%s%a" indent (st.pp_lenv a) c
+      | LEnv c      -> KP.fprintf och "%s%a\n" indent (st.pp_lenv a) c
       | Warn s      -> KP.fprintf och "%s%s\n" indent s
       | Uri u       -> KP.fprintf och "%s<%s>\n" indent (U.string_of_uri u)
    in