From a9458fdcb34a94ba1ff87aa33bb27f18ee7dc1bf Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 26 Feb 2019 07:33:53 -0800
Subject: [PATCH] chore(runtime/alloc): remove incorrect assertion

---
 src/runtime/alloc.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/runtime/alloc.cpp b/src/runtime/alloc.cpp
index 6e58c0d2e0..5246a76385 100644
--- a/src/runtime/alloc.cpp
+++ b/src/runtime/alloc.cpp
@@ -164,7 +164,6 @@ static inline page * page_list_pop(page * & head) {
 }
 
 void page::push_free_obj(void * o) {
-    lean_assert(get_page_of(o) == this);
     set_next_obj(o, m_header.m_free_list);
     m_header.m_free_list = o;
     m_header.m_num_free++;