From 5a8ddb2817c8ff20082e3f68abe4fce9684907d4 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Mon, 17 Sep 2018 08:53:03 -0700
Subject: [PATCH] fix(library/message_builder): compilation warning

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

diff --git a/src/library/message_builder.cpp b/src/library/message_builder.cpp
index 623d777afc..40d2eb6874 100644
--- a/src/library/message_builder.cpp
+++ b/src/library/message_builder.cpp
@@ -74,7 +74,7 @@ message_builder & message_builder::set_exception(std::exception const & ex, bool
         auto fmt = get_global_ios().get_formatter_factory()(kex->get_environment(), get_global_ios().get_options(),
                                                             ctx);
         *this << pp_decl_has_metavars(fmt, kex->get_decl_name(), kex->get_expr(), /* is_type */ false);
-    } else if (auto kex = dynamic_cast<declaration_has_free_vars_exception const *>(&ex)) {
+    } else if (dynamic_cast<declaration_has_free_vars_exception const *>(&ex)) {
         *this << "invalid declaration, it contains free variables";
     } else if (auto kex = dynamic_cast<kernel_exception_with_lctx const *>(&ex)) {
         type_context_old ctx(kex->get_environment(), get_global_ios().get_options(), metavar_context(),