From 6cc83dbe2ac73005c086dd14713b3f5e56e39856 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 19 Dec 2013 14:46:22 -0800 Subject: [PATCH] fix(kernel/kernel_exception): incorrect pp method Signed-off-by: Leonardo de Moura --- src/kernel/kernel_exception.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/kernel/kernel_exception.cpp b/src/kernel/kernel_exception.cpp index 80ebccf8d..b56409d17 100644 --- a/src/kernel/kernel_exception.cpp +++ b/src/kernel/kernel_exception.cpp @@ -13,7 +13,7 @@ format kernel_exception::pp(formatter const &, options const &) const { } format unknown_name_exception::pp(formatter const &, options const &) const { - return format{format("unknown object '"), format(get_name()), format("'")}; + return format{format(what()), format(" '"), format(get_name()), format("'")}; } format already_declared_exception::pp(formatter const &, options const &) const {