diff options
Diffstat (limited to 'src/pruning.h')
| -rw-r--r-- | src/pruning.h | 3 |
1 files changed, 2 insertions, 1 deletions
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; | |||
| 14 | extern PruneData pd_htrfin_htr; | 14 | extern PruneData pd_htrfin_htr; |
| 15 | extern PruneData pd_nxopt31_HTM; | 15 | extern PruneData pd_nxopt31_HTM; |
| 16 | 16 | ||
| 17 | extern PruneData * allpd[]; | 17 | extern PruneData * all_pd[]; |
| 18 | 18 | ||
| 19 | void free_pd(PruneData *pd); | ||
| 19 | void genptable(PruneData *pd, int nthreads); | 20 | void genptable(PruneData *pd, int nthreads); |
| 20 | void print_ptable(PruneData *pd); | 21 | void print_ptable(PruneData *pd); |
| 21 | uint64_t ptablesize(PruneData *pd); | 22 | uint64_t ptablesize(PruneData *pd); |
