diff options
Diffstat (limited to 'src/pruning.h')
| -rw-r--r-- | src/pruning.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/pruning.h b/src/pruning.h index 7da1e3e..df95ea2 100644 --- a/src/pruning.h +++ b/src/pruning.h | |||
| @@ -12,7 +12,6 @@ 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_htrfin_htr; | 14 | extern PruneData pd_htrfin_htr; |
| 15 | extern PruneData pd_khuge_HTM; | ||
| 16 | extern PruneData pd_nxopt31_HTM; | 15 | extern PruneData pd_nxopt31_HTM; |
| 17 | 16 | ||
| 18 | extern PruneData * allpd[]; | 17 | extern PruneData * allpd[]; |
