From def25ea64b097d2a994eb33c91dc66248233afec Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Sat, 12 Mar 2022 19:13:54 +0100 Subject: Added freemem command --- src/pruning.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/pruning.h') diff --git a/src/pruning.h b/src/pruning.h index df95ea2..6bdbee1 100644 --- a/src/pruning.h +++ b/src/pruning.h @@ -14,8 +14,9 @@ extern PruneData pd_htr_drud; extern PruneData pd_htrfin_htr; extern PruneData pd_nxopt31_HTM; -extern PruneData * allpd[]; +extern PruneData * all_pd[]; +void free_pd(PruneData *pd); void genptable(PruneData *pd, int nthreads); void print_ptable(PruneData *pd); uint64_t ptablesize(PruneData *pd); -- cgit v1.3