From 62585f1c561f9236bad02148413652a85b2caf77 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 12 Sep 2014 13:08:47 -0700 Subject: [PATCH] fix(library/coercion): remove spurious '\n' --- src/library/coercion.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/library/coercion.cpp b/src/library/coercion.cpp index 77b9b4c7e..93f9d89e9 100644 --- a/src/library/coercion.cpp +++ b/src/library/coercion.cpp @@ -115,7 +115,7 @@ static void check_valid_coercion(name const & f, expr const & t) { throw exception(sstream() << "invalid coercion, type of '" << f << "' does not match any of the allowed expected types for coercions\n" << " Pi (x_1 : A_1) ... (x_n : A_n) (y: C x_1 ... x_n), D t_1 ... t_m\n" << " Pi (x_1 : A_1) ... (x_n : A_n) (y: C x_1 ... x_n), Type\n" - << " Pi (x_1 : A_1) ... (x_n : A_n) (y: C x_1 ... x_n), A -> B\n"); + << " Pi (x_1 : A_1) ... (x_n : A_n) (y: C x_1 ... x_n), A -> B"); } }