summaryrefslogtreecommitdiffstatshomepage
path: root/src/lib/util/options.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'src/lib/util/options.cpp')
-rw-r--r--src/lib/util/options.cpp3
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);
}
//-------------------------------------------------