diff options
Diffstat (limited to 'src/configuration.h')
| -rw-r--r-- | src/configuration.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/configuration.h b/src/configuration.h index a9d5fdb21..1c91ae1b8 100644 --- a/src/configuration.h +++ b/src/configuration.h @@ -245,7 +245,8 @@ class Configuration final : public ConfigurationObject * @param useResManager Make use of the resource manager. */ void init(const std::string &filename, - const UseResman useResManager = UseResman_false); + const UseResman useResManager = UseResman_false, + const SkipError skipError = SkipError_false); void reInit(); |