fix order of options

This commit is contained in:
daan 2019-07-19 09:26:22 -07:00
parent 2f63964e5c
commit 81a7ae33e7

View File

@ -225,14 +225,14 @@ typedef enum mi_option_e {
mi_option_show_errors,
mi_option_verbose,
// the following options are experimental
mi_option_page_reset,
mi_option_cache_reset,
mi_option_secure,
mi_option_eager_commit,
mi_option_eager_region_commit,
mi_option_large_os_pages, // implies eager commit
mi_option_page_reset,
mi_option_cache_reset,
mi_option_reset_decommits,
mi_option_reset_discards,
mi_option_secure,
_mi_option_last
} mi_option_t;