diff options
Diffstat (limited to 'src/lib/util/options.h')
-rw-r--r-- | src/lib/util/options.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lib/util/options.h b/src/lib/util/options.h index edf7f8600c8..a2959a24a8f 100644 --- a/src/lib/util/options.h +++ b/src/lib/util/options.h @@ -146,7 +146,7 @@ public: // parsing/input bool parse_command_line(std::vector<std::string> &args, int priority, std::string &error_string); - bool parse_ini_file(util::core_file &inifile, int priority, int ignore_priority, std::string &error_string); + bool parse_ini_file(util::core_file &inifile, int priority, bool ignore_unknown_options, std::string &error_string); bool pluck_from_command_line(std::vector<std::string> &args, const std::string &name, std::string &result); // reverting |