From 41786f41f048ff44bfedbf4d66537ca1919cb590 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 12 May 2016 11:41:09 -0700 Subject: [PATCH] fix(library/vm): did not use copy constructor --- src/library/vm.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/library/vm.cpp b/src/library/vm.cpp index a691d507b0..b45ce66e7e 100644 --- a/src/library/vm.cpp +++ b/src/library/vm.cpp @@ -366,7 +366,8 @@ vm_decl_cell::vm_decl_cell(name const & n, unsigned idx, expr const & e, unsigne it = binding_body(it); } m_code = new vm_instr[code_sz]; - std::memcpy(m_code, code, sizeof(vm_instr)*code_sz); + for (unsigned i = 0; i < code_sz; i++) + m_code[i] = code[i]; } vm_decl_cell::~vm_decl_cell() {