diff options
author | 2018-10-04 21:17:23 -0400 | |
---|---|---|
committer | 2018-10-04 21:17:23 -0400 | |
commit | fee7039a48bb7a7a8aa231ece662b76da306e711 (patch) | |
tree | aa240ed76f7610207de338e3ec0c88a398794246 /src/lib/util/options.cpp | |
parent | f522870d8acf3e12ab0845272844561d9195fe4d (diff) |
lib/util/options.cpp: Don't try to set the value of a header (nw)
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); } //------------------------------------------------- |