max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix(library/compiler/erase_irrelevant): missing case

Browse source
This commit is contained in:
Leonardo de Moura 2016-05-25 17:49:02 -07:00
parent 9530f716f9
commit 856f6bcbdf
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/library/compiler/erase_irrelevant.cpp
View file

@ -177,7 +177,7 @@ class erase_irrelevant_fn : public compiler_step_visitor {
expr add_args(expr e, unsigned start_idx, buffer<expr> const & args) {
for (unsigned i = start_idx; i < args.size(); i++)
e = mk_app(e, args[i]);
e = mk_app(e, visit(args[i]));
return beta_reduce(e);
}