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

fix(compiler/simp_pr1_rec): missing recursor nested inside recursor

Browse source
This commit is contained in:
Leonardo de Moura 2015-09-11 17:27:42 -07:00
parent 088350c2aa
commit fd2e4616cf
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/compiler/simp_pr1_rec.cpp
View file

@ -147,7 +147,7 @@ class simp_pr1_rec_fn : public replace_visitor {
rec_args[i] = Fun(minor_ctx, minor_body);
}
expr new_rec = mk_app(rec_fn, rec_args.size(), rec_args.data());
return some_expr(mk_app(new_rec, args.size() - 3, args.data() + 3));
return some_expr(visit(mk_app(new_rec, args.size() - 3, args.data() + 3)));
}
virtual expr visit_app(expr const & e) {