From e3d0c98e5a867518800bc79c18f7b13755c056e0 Mon Sep 17 00:00:00 2001
From: Matthias Schiffer <matthias@gamezock.de>
Date: Mon, 20 Oct 2008 22:47:07 +0200
Subject: Einige Verbesserungen am ConfigManager

---
 src/Common/ConfigManager.h | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'src/Common/ConfigManager.h')

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) {}
-- 
cgit v1.2.3