1 files changed, 6 insertions, 1 deletions
diff --git a/src/Common/ConfigManager.h b/src/Common/ConfigManager.h
index ccf5d13..b447fc4 100644
--- a/src/Common/ConfigManager.h
+++ b/src/Common/ConfigManager.h
@@ -31,9 +31,14 @@ class Configurable;
 
 class ConfigManager {
   private:
+    struct Compare {
+      bool operator() (const Configurable *c1, const Configurable *c2);
+    };
+
     static ConfigManager configManager;
 
-    std::set<Configurable*> configurables;
+    std::set<Configurable*, Compare> configurables;
+
     bool finished;
 
     ConfigManager() : finished(false) {}