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

fix: memory access violation

Browse source
This commit is contained in:
Leonardo de Moura 2021-01-24 18:21:20 -08:00
parent 83ab2e5555
commit da5d46cd5d
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/runtime/alloc.cpp
View file

@ -390,8 +390,10 @@ extern "C" void * lean_alloc_small(unsigned sz, unsigned slot_idx) {
}
uint64_t get_num_heartbeats() {
lean_assert(g_heap);
return g_heap->m_heartbeat;
if (g_heap)
return g_heap->m_heartbeat;
else
return 0;
}
void * alloc(size_t sz) {