aboutsummaryrefslogtreecommitdiff
path: root/src/pruning.h
diff options
context:
space:
mode:
Diffstat (limited to 'src/pruning.h')
-rw-r--r--src/pruning.h2
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;
14extern PruneData pd_htrfin_htr; 14extern PruneData pd_htrfin_htr;
15extern PruneData pd_khuge_HTM; 15extern PruneData pd_khuge_HTM;
16 16
17void genptable(PruneData *pd); 17void genptable(PruneData *pd, int nthreads);
18void print_ptable(PruneData *pd); 18void print_ptable(PruneData *pd);
19uint64_t ptablesize(PruneData *pd); 19uint64_t ptablesize(PruneData *pd);
20int ptableval(PruneData *pd, Cube cube); 20int ptableval(PruneData *pd, Cube cube);

Generated with cgit - Back to sebastiano.tronto.net