From 1f3de14f9cc4e30daff48f30eca91c59e59fcf16 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Mon, 25 Feb 2019 17:41:02 -0800
Subject: [PATCH] fix(runtime/object): embarrassing bug at `del_core`

---
 src/runtime/object.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/runtime/object.cpp b/src/runtime/object.cpp
index 3bdb1d7e79..76e926cd2f 100644
--- a/src/runtime/object.cpp
+++ b/src/runtime/object.cpp
@@ -189,7 +189,7 @@ static inline void free_parray_obj(object * o) {
     FREE_OBJ(o, sizeof(parray_object) + sizeof(rc_type));
 }
 
-static void del_core(object * o, object * todo) {
+static void del_core(object * o, object * & todo) {
     lean_assert(is_heap_obj(o));
     switch (get_kind(o)) {
     case object_kind::Constructor: {