diff options
Diffstat (limited to 'src/pruning.h')
| -rw-r--r-- | src/pruning.h | 1 |
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; | |||
| 11 | extern PruneData pd_drud_eofb; | 11 | extern PruneData pd_drud_eofb; |
| 12 | extern PruneData pd_drudfin_noE_sym16_drud; | 12 | extern PruneData pd_drudfin_noE_sym16_drud; |
| 13 | extern PruneData pd_htr_drud; | 13 | extern PruneData pd_htr_drud; |
| 14 | extern PruneData pd_cp_drud; | ||
| 14 | extern PruneData pd_htrfin_htr; | 15 | extern PruneData pd_htrfin_htr; |
| 15 | extern PruneData pd_nxopt31_HTM; | 16 | extern PruneData pd_nxopt31_HTM; |
| 16 | 17 | ||
