lib/util/options.cpp: Don't try to set the value of a header (nw)

This commit is contained in:
AJR 2018-10-04 21:17:23 -04:00
parent f522870d8a
commit fee7039a48

View File

@ -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);
}
//-------------------------------------------------