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

fix(frontends/lean/parse_table): compilation warning

Browse source
This commit is contained in:
Leonardo de Moura 2015-09-30 15:53:37 -07:00
parent 8a96cb6218
commit 6153ccd253
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/frontends/lean/parse_table.cpp
View file

@ -527,7 +527,7 @@ void parse_table::for_each(buffer<transition> & ts,
list<accepting> const &)> const & fn) const {
if (!is_nil(m_ptr->m_accept))
fn(ts.size(), ts.data(), m_ptr->m_accept);
m_ptr->m_children.for_each([&](name const & k, list<pair<transition, parse_table>> const & lst) {
m_ptr->m_children.for_each([&](name const &, list<pair<transition, parse_table>> const & lst) {
for (auto const & p : lst) {
ts.push_back(p.first);
p.second.for_each(ts, fn);