diff options
author | 2016-03-12 12:31:13 +0100 | |
---|---|---|
committer | 2016-03-12 12:31:13 +0100 | |
commit | a026a582f1a0ea8c1ede3acaddacef506ef3f3b0 (patch) | |
tree | e31573822f2359677de519f9f3b600d98e8764cd /src/lib/util/options.h | |
parent | 477d2abd43984f076b7e45f5527591fa8fd0d241 (diff) | |
parent | dcab55bf53b94713a6f72e9633f5101c8dd6c08c (diff) |
Merge pull request #15 from mamedev/master
Sync to base master
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 cf58bc67222..4ffdf00ae35 100644 --- a/src/lib/util/options.h +++ b/src/lib/util/options.h @@ -142,7 +142,7 @@ public: // parsing/input bool parse_command_line(int argc, char **argv, int priority, std::string &error_string); - bool parse_ini_file(core_file &inifile, int priority, int ignore_priority, std::string &error_string); + bool parse_ini_file(util::core_file &inifile, int priority, int ignore_priority, std::string &error_string); // reverting void revert(int priority = OPTION_PRIORITY_MAXIMUM); |