From 4f53cfe5e81ceaf69865a79260ab444772875be9 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 13 May 2016 12:22:28 -0700 Subject: [PATCH] fix(library/vm/vm): std::copy issue --- src/library/vm/vm.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/library/vm/vm.cpp b/src/library/vm/vm.cpp index 2032669827..c795890a1c 100644 --- a/src/library/vm/vm.cpp +++ b/src/library/vm/vm.cpp @@ -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())