From 4e9cafb67f39141e29d530acfa6c56e6d5a80fd2 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 12 May 2016 19:01:25 -0700 Subject: [PATCH] feat(library/vm/vm): add missing swap --- src/library/vm/vm.h | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/library/vm/vm.h b/src/library/vm/vm.h index abdefa6a08..084b96e23a 100644 --- a/src/library/vm/vm.h +++ b/src/library/vm/vm.h @@ -51,6 +51,8 @@ public: vm_obj(vm_obj && o):m_data(o.m_data) { o.m_data = LEAN_VM_BOX(0); } ~vm_obj() { if (LEAN_VM_IS_PTR(m_data)) m_data->dec_ref(); } + friend void swap(vm_obj & a, vm_obj & b) { std::swap(a.m_data, b.m_data); } + vm_obj & operator=(vm_obj const & s) { if (LEAN_VM_IS_PTR(s.m_data)) s.m_data->inc_ref();