fix(frontends/lean/nested_declaration): compilation error in debug mode
This commit is contained in:
parent
8a85e4ee87
commit
45684588cc
1 changed files with 2 additions and 2 deletions
|
@ -81,12 +81,12 @@ expr get_nested_declaration_arg(expr const & e) {
|
||||||
}
|
}
|
||||||
|
|
||||||
optional<name> const & get_nested_declaration_name(expr const & d) {
|
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();
|
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) {
|
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();
|
return static_cast<nested_decl_macro_definition_cell const*>(macro_def(d).raw())->get_decl_attributes();
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Add table
Reference in a new issue