From 45684588ccbcd7a57afc9056776fa344779626d9 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sat, 13 Jun 2015 13:10:10 -0700
Subject: [PATCH] fix(frontends/lean/nested_declaration): compilation error in
 debug mode

---
 src/frontends/lean/nested_declaration.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/frontends/lean/nested_declaration.cpp b/src/frontends/lean/nested_declaration.cpp
index eae2cdade..a26e6b797 100644
--- a/src/frontends/lean/nested_declaration.cpp
+++ b/src/frontends/lean/nested_declaration.cpp
@@ -81,12 +81,12 @@ expr get_nested_declaration_arg(expr const & e) {
 }
 
 optional<name> const & get_nested_declaration_name(expr const & d) {
-    lean_assert(is_nested_declaration(e));
+    lean_assert(is_nested_declaration(d));
     return static_cast<nested_decl_macro_definition_cell const*>(macro_def(d).raw())->get_decl_name();
 }
 
 decl_attributes const & get_nested_declaration_attributes(expr const & d) {
-    lean_assert(is_nested_declaration(e));
+    lean_assert(is_nested_declaration(d));
     return static_cast<nested_decl_macro_definition_cell const*>(macro_def(d).raw())->get_decl_attributes();
 }