From 2e753e2cc098b568cde8d766afe610aaaa8682df Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 12 May 2014 14:49:42 -0700 Subject: [PATCH] fix(kernel/error_msgs): application type mismatch error message Signed-off-by: Leonardo de Moura --- src/kernel/error_msgs.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/kernel/error_msgs.cpp b/src/kernel/error_msgs.cpp index c76145599..d78b315b0 100644 --- a/src/kernel/error_msgs.cpp +++ b/src/kernel/error_msgs.cpp @@ -24,9 +24,9 @@ format pp_app_type_mismatch(formatter const & fmt, environment const & env, opti format r; r += format("type mismatch at application"); r += pp_indent_expr(fmt, env, opts, app); - r += format("expected type:"); + r += compose(line(), format("expected type:")); r += pp_indent_expr(fmt, env, opts, expected_type); - r += format("given type:"); + r += compose(line(), format("given type:")); r += pp_indent_expr(fmt, env, opts, given_type); return r; }