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

fix(library/vm/vm): std::copy issue

Browse source
This commit is contained in:
Leonardo de Moura 2016-05-13 12:22:28 -07:00
parent 00bc55af3e
commit 4f53cfe5e8
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/vm/vm.cpp
View file

@ -938,7 +938,7 @@ void vm_state::run() {
unsigned arity = d.get_arity();
unsigned new_nargs = nargs + csz;
lean_assert(new_nargs <= arity);
std::copy(cfields(closure), cfields(closure) + csz, m_stack.end());
std::copy(cfields(closure), cfields(closure) + csz, std::back_inserter(m_stack));
/* Now, stack contains closure arguments + original stack arguments */
if (new_nargs == arity) {
if (d.is_builtin())