michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(kernel/context): unused var warning in release mode

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2013-12-11 21:24:05 -08:00
parent 3e77dd0c42
commit 98f5ce0512
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/kernel/free_vars.cpp
View file

@ -330,7 +330,7 @@ bool has_free_var(expr const & e, unsigned low, unsigned high, metavar_env const
return has_free_var_in_range_fn(low, high, menv)(e); return has_free_var_in_range_fn(low, high, menv)(e);
} }
expr lower_free_vars(expr const & e, unsigned s, unsigned d, metavar_env const * menv) { expr lower_free_vars(expr const & e, unsigned s, unsigned d, metavar_env const * DEBUG_CODE(menv)) {
lean_assert(s >= d); lean_assert(s >= d);
lean_assert(!has_free_var(e, s-d, s, menv)); lean_assert(!has_free_var(e, s-d, s, menv));
auto f = [=](expr const & e, unsigned offset) -> expr { auto f = [=](expr const & e, unsigned offset) -> expr {