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

fix(compiler/preprocess_rec): warning when compiling using clang on OSX

Browse source
This commit is contained in:
Leonardo de Moura 2015-11-16 18:38:41 -08:00
parent 4dc27fb43b
commit f482e09cc2
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/compiler/preprocess_rec.cpp
View file

@ -29,7 +29,7 @@ static name * g_tmp_prefix = nullptr;
class preprocess_rec_fn {
environment m_env;
buffer<name> & m_aux_decls;
// buffer<name> & m_aux_decls; // TODO(Leo):
bool check(declaration const & d, expr const & v) {
type_checker tc(m_env);
@ -40,7 +40,7 @@ class preprocess_rec_fn {
}
public:
preprocess_rec_fn(environment const & env, buffer<name> & aux_decls): m_env(env), m_aux_decls(aux_decls) {}
preprocess_rec_fn(environment const & env, buffer<name> & /* aux_decls */): m_env(env) {} // , m_aux_decls(aux_decls) {}
environment operator()(declaration const & d) {
expr v = d.get_value();