From eb6d72a20cd2a66d1cbc7be8514290a6522b27ee Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sun, 25 May 2014 08:55:20 -0700 Subject: [PATCH] fix(library/coercion): typo Signed-off-by: Leonardo de Moura --- 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 3c5647f4a2..c178c32c4c 100644 --- a/src/library/coercion.cpp +++ b/src/library/coercion.cpp @@ -248,7 +248,7 @@ static void add_coercion(coercion_ext & ext, name const & C, expr const & f, exp bool found = false; for_each(infos, [&](coercion_info const & info) { if (info.m_to == cls) { - ios.get_diagnostic_channel() << "replacing the coercion from '" << C << "' to '" << cls << "'"; + ios.get_diagnostic_channel() << "replacing the coercion from '" << C << "' to '" << cls << "'\n"; found = true; } });