diff options
Diffstat (limited to 'src/lib/util/options.cpp')
-rw-r--r-- | src/lib/util/options.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/lib/util/options.cpp b/src/lib/util/options.cpp index a7e901bbf70..cffb7493fe3 100644 --- a/src/lib/util/options.cpp +++ b/src/lib/util/options.cpp @@ -1034,7 +1034,8 @@ bool core_options::header_exists(const char *description) const void core_options::revert(int priority_hi, int priority_lo) { for (entry::shared_ptr &curentry : m_entries) - curentry->revert(priority_hi, priority_lo); + if (curentry->type() != option_type::HEADER) + curentry->revert(priority_hi, priority_lo); } //------------------------------------------------- |