From fee7039a48bb7a7a8aa231ece662b76da306e711 Mon Sep 17 00:00:00 2001 From: AJR Date: Thu, 4 Oct 2018 21:17:23 -0400 Subject: lib/util/options.cpp: Don't try to set the value of a header (nw) --- src/lib/util/options.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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); } //------------------------------------------------- -- cgit v1.2.3