aboutsummaryrefslogtreecommitdiff
path: root/src/pruning.h
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--src/pruning.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/pruning.h b/src/pruning.h
index 6bdbee1..a9acb5b 100644
--- a/src/pruning.h
+++ b/src/pruning.h
@@ -11,6 +11,7 @@ extern PruneData pd_drud_sym16_HTM;
11extern PruneData pd_drud_eofb; 11extern PruneData pd_drud_eofb;
12extern PruneData pd_drudfin_noE_sym16_drud; 12extern PruneData pd_drudfin_noE_sym16_drud;
13extern PruneData pd_htr_drud; 13extern PruneData pd_htr_drud;
14extern PruneData pd_cp_drud;
14extern PruneData pd_htrfin_htr; 15extern PruneData pd_htrfin_htr;
15extern PruneData pd_nxopt31_HTM; 16extern PruneData pd_nxopt31_HTM;
16 17

Generated with cgit - Back to sebastiano.tronto.net