diff options
Diffstat (limited to '')
| -rw-r--r-- | src/pruning.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/pruning.h b/src/pruning.h index 631ee3a..d337fd8 100644 --- a/src/pruning.h +++ b/src/pruning.h | |||
| @@ -14,7 +14,7 @@ extern PruneData pd_htr_drud; | |||
| 14 | extern PruneData pd_htrfin_htr; | 14 | extern PruneData pd_htrfin_htr; |
| 15 | extern PruneData pd_khuge_HTM; | 15 | extern PruneData pd_khuge_HTM; |
| 16 | 16 | ||
| 17 | void genptable(PruneData *pd); | 17 | void genptable(PruneData *pd, int nthreads); |
| 18 | void print_ptable(PruneData *pd); | 18 | void print_ptable(PruneData *pd); |
| 19 | uint64_t ptablesize(PruneData *pd); | 19 | uint64_t ptablesize(PruneData *pd); |
| 20 | int ptableval(PruneData *pd, Cube cube); | 20 | int ptableval(PruneData *pd, Cube cube); |
