diff --git a/src/libponyrt/mem/pool.c b/src/libponyrt/mem/pool.c index e098682a6dd..c45e745cc65 100644 --- a/src/libponyrt/mem/pool.c +++ b/src/libponyrt/mem/pool.c @@ -904,6 +904,8 @@ void ponyint_pool_free_size(size_t size, void* p) void ponyint_pool_thread_cleanup() { + if(false) + { for(size_t index = 0; index < POOL_COUNT; index++) { pool_local_t* thread = &pool_local[index]; @@ -939,6 +941,7 @@ void ponyint_pool_thread_cleanup() pool_block_header.total_size = 0; pool_block_header.largest_size = 0; + } } size_t ponyint_pool_index(size_t size)