From 89ccecc287017cefad4d6074c7fe6c22bad571fa Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 6 Sep 2016 18:38:39 -0700
Subject: [PATCH] chore(library/exception): fix bad message

---
 src/library/exception.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/library/exception.cpp b/src/library/exception.cpp
index e77706f313..6310d6f92e 100644
--- a/src/library/exception.cpp
+++ b/src/library/exception.cpp
@@ -27,7 +27,7 @@ optional<expr> nested_exception::get_main_expr() const {
 
 format nested_exception::pp(formatter const & fmt) const {
     format r = m_pp_fn(fmt);
-    r += line() + format("nested exception message") + line();
+    r += line() + format("nested exception message:") + line();
     if (ext_exception * ex = dynamic_cast<ext_exception *>(m_exception.get())) {
         r += ex->pp(fmt);
     } else {