diff options
Diffstat (limited to 'src/Common/ConfigManager.h')
-rw-r--r-- | src/Common/ConfigManager.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Common/ConfigManager.h b/src/Common/ConfigManager.h index 036eed7..e7885b8 100644 --- a/src/Common/ConfigManager.h +++ b/src/Common/ConfigManager.h @@ -41,7 +41,8 @@ class ConfigManager { std::set<Configurable*, Compare> configurables; bool finished; - ConfigManager() : finished(false) {} + ConfigManager(); + ~ConfigManager(); void handleConfigEntry(const ConfigEntry &entry); |