max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore(runtime/alloc): remove incorrect assertion

Browse source
This commit is contained in:
Leonardo de Moura 2019-02-26 07:33:53 -08:00
parent 9724491dc2
commit a9458fdcb3
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/runtime/alloc.cpp
View file

@ -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++;