diff options
Diffstat (limited to 'cmdline.h')
-rw-r--r-- | cmdline.h | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -77,6 +77,8 @@ struct cmdline { /** bftw() flags. */ enum bftw_flags flags; + /** bftw() search strategy. */ + enum bftw_strategy strategy; /** Optimization level. */ int optlevel; |