ref: a5ffd431f2dd99a86cb3a73a57c9af2204aa90a4
parent: 53a6d7a024d9b38c86da84fe5fc43d3fc2753621
author: Matthew Wang <mjw7@princeton.edu>
date: Tue Sep 1 10:59:20 EDT 2020
set tmempool leaf pointer in tmempool_inittopool
--- a/leaf/Src/leaf-mempool.c
+++ b/leaf/Src/leaf-mempool.c
@@ -425,5 +425,7 @@
_tMempool* mm = *mem;
_tMempool* m = *mp = (_tMempool*) mpool_alloc(sizeof(_tMempool), mm);
+ m->leaf = mm->leaf;
+
mpool_create (memory, size, m);
}