From 98f5ce0512dbca7f8a7d5e54fa16b88978081300 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 11 Dec 2013 21:24:05 -0800 Subject: [PATCH] fix(kernel/context): unused var warning in release mode Signed-off-by: Leonardo de Moura --- src/kernel/free_vars.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/kernel/free_vars.cpp b/src/kernel/free_vars.cpp index ecec43f7b3..77a9ea0e6a 100644 --- a/src/kernel/free_vars.cpp +++ b/src/kernel/free_vars.cpp @@ -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); } -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(!has_free_var(e, s-d, s, menv)); auto f = [=](expr const & e, unsigned offset) -> expr {