From 2431de542f4f57fc8d667d089d5d98372666fc94 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 13 Oct 2014 13:07:42 -0700 Subject: [PATCH] refactor(frontends/lean/parser): add missing 'const' --- src/frontends/lean/parser.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/frontends/lean/parser.h b/src/frontends/lean/parser.h index 4324b188c..991e46df3 100644 --- a/src/frontends/lean/parser.h +++ b/src/frontends/lean/parser.h @@ -334,13 +334,13 @@ public: expr parse_expr(unsigned rbp = 0); expr parse_led(expr left); expr parse_scoped_expr(unsigned num_params, expr const * ps, local_environment const & lenv, unsigned rbp = 0); - expr parse_scoped_expr(buffer & ps, local_environment const & lenv, unsigned rbp = 0) { + expr parse_scoped_expr(buffer const & ps, local_environment const & lenv, unsigned rbp = 0) { return parse_scoped_expr(ps.size(), ps.data(), lenv, rbp); } expr parse_scoped_expr(unsigned num_params, expr const * ps, unsigned rbp = 0) { return parse_scoped_expr(num_params, ps, local_environment(m_env), rbp); } - expr parse_scoped_expr(buffer & ps, unsigned rbp = 0) { return parse_scoped_expr(ps.size(), ps.data(), rbp); } + expr parse_scoped_expr(buffer const & ps, unsigned rbp = 0) { return parse_scoped_expr(ps.size(), ps.data(), rbp); } struct local_scope { parser & m_p; environment m_env; local_scope(parser & p); ~local_scope(); }; bool has_locals() const { return !m_local_decls.empty() || !m_local_level_decls.empty(); }