chore: update stage0

This commit is contained in:
Leonardo de Moura 2020-02-06 17:03:51 -08:00
parent 224fe05d51
commit 7aef068e49

View file

@ -89,6 +89,7 @@ void * object_compactor::alloc(size_t sz) {
m_begin = new_begin;
}
void * r = m_end;
memset(r, 0, sz);
m_end = static_cast<char*>(m_end) + sz;
lean_assert(m_end <= m_capacity);
return r;