aboutsummaryrefslogtreecommitdiff
path: root/src/pruning.h
diff options
context:
space:
mode:
Diffstat (limited to 'src/pruning.h')
-rw-r--r--src/pruning.h3
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;
14extern PruneData pd_htrfin_htr; 14extern PruneData pd_htrfin_htr;
15extern PruneData pd_nxopt31_HTM; 15extern PruneData pd_nxopt31_HTM;
16 16
17extern PruneData * allpd[]; 17extern PruneData * all_pd[];
18 18
19void free_pd(PruneData *pd);
19void genptable(PruneData *pd, int nthreads); 20void genptable(PruneData *pd, int nthreads);
20void print_ptable(PruneData *pd); 21void print_ptable(PruneData *pd);
21uint64_t ptablesize(PruneData *pd); 22uint64_t ptablesize(PruneData *pd);

Generated with cgit - Back to sebastiano.tronto.net