we begin the commit of the validation procedure

[helm.git] / helm / software / helena / src / lib / log.ml

diff --git a/helm/software/helena/src/lib/log.ml b/helm/software/helena/src/lib/log.ml
index 03e7b5b958a2b44dcca9a1571b7e12e948a60383..480e3c1399ebfddf4be13a33f4fc0b1de3bfca30 100644 (file)
--- a/helm/software/helena/src/lib/log.ml
+++ b/helm/software/helena/src/lib/log.ml
@@ -41,9 +41,9 @@ let err = F.err_formatter
 
 let pp_items frm st l items =   
    let pp_item frm = function
-      | Term (c, t) -> F.fprintf frm "@,%a" (st.pp_term c) t
-      | LEnv c      -> F.fprintf frm "%a" st.pp_lenv c
-      | Warn s      -> F.fprintf frm "@,%s" s
+      | Term (c, t) -> F.fprintf frm "@ %a%!" (st.pp_term c) t
+      | LEnv c      -> F.fprintf frm "%a%!" st.pp_lenv c
+      | Warn s      -> F.fprintf frm "@ %s%!" s
       | String s    -> F.fprintf frm "%s " s
       | Loc         -> F.fprintf frm " <%s>" !loc 
    in