1 files changed, 1 insertions, 3 deletions
diff --git a/src/Common/ConfigManager.h b/src/Common/ConfigManager.h
index bf34f6f..b4264d5 100644
--- a/src/Common/ConfigManager.h
+++ b/src/Common/ConfigManager.h
@@ -20,6 +20,7 @@
 #ifndef MAD_COMMON_CONFIGMANAGER_H_
 #define MAD_COMMON_CONFIGMANAGER_H_
 
+#include <memory>
 #include <set>
 #include <string>
 
@@ -38,7 +39,6 @@ class ConfigManager {
     static ConfigManager configManager;
 
     std::set<Configurable*, Compare> configurables;
-
     bool finished;
 
     ConfigManager() : finished(false) {}
@@ -57,8 +57,6 @@ class ConfigManager {
       configurables.erase(c);
     }
 
-    virtual ~ConfigManager() {}
-
     static ConfigManager *getConfigManager() {
       return &configManager;
     }