Bug fix in maps.h.
1.1 --- a/lemon/maps.h Fri Jan 04 08:08:50 2008 +0100
1.2 +++ b/lemon/maps.h Fri Jan 04 08:16:15 2008 +0100
1.3 @@ -1351,7 +1351,7 @@
1.4 /// The \c set function of the map
1.5 void set(const Key& key, Value value) {
1.6 if (value) {
1.7 - container.push_front(key);
1.8 + container.push_front(functor(key));
1.9 }
1.10 }
1.11
1.12 @@ -1408,7 +1408,7 @@
1.13 /// The \c set function of the map
1.14 void set(const Key& key, Value value) {
1.15 if (value) {
1.16 - it = container.insert(it, key);
1.17 + it = container.insert(it, functor(key));
1.18 ++it;
1.19 }
1.20 }