From 54936c201adeb5e446001cc65cd6591a97e3be79 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 28 Apr 2014 11:31:39 -0700 Subject: [PATCH] fix(kernel/kernel_exception): typo 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 96bbe8ba5..46a140c2f 100644 --- a/src/kernel/kernel_exception.cpp +++ b/src/kernel/kernel_exception.cpp @@ -30,7 +30,7 @@ public: [[ noreturn ]] void throw_kernel_exception(environment const & env, char const * msg, optional const & m) { std::string msg_str = msg; - throw generic_kernel_exception(env, msg, m, [=](formatter const &, options const &) { return format(msg); }); + throw generic_kernel_exception(env, msg, m, [=](formatter const &, options const &) { return format(msg_str); }); } [[ noreturn ]] void throw_kernel_exception(environment const & env, sstream const & strm, optional const & m) {