summaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
author AJR <ajrhacker@users.noreply.github.com>2018-10-04 21:17:23 -0400
committer AJR <ajrhacker@users.noreply.github.com>2018-10-04 21:17:23 -0400
commitfee7039a48bb7a7a8aa231ece662b76da306e711 (patch)
treeaa240ed76f7610207de338e3ec0c88a398794246
parentf522870d8acf3e12ab0845272844561d9195fe4d (diff)
lib/util/options.cpp: Don't try to set the value of a header (nw)
-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);
}
//-------------------------------------------------