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