diff -r 0cb4ba427bfd -r 72364ba3466d lemon/maps.h
--- a/lemon/maps.h	Fri Jan 04 08:08:50 2008 +0100
+++ b/lemon/maps.h	Fri Jan 04 08:16:15 2008 +0100
@@ -1351,7 +1351,7 @@
     /// The \c set function of the map
     void set(const Key& key, Value value) {
       if (value) {
-	container.push_front(key);
+	container.push_front(functor(key));
       }
     }
     
@@ -1408,7 +1408,7 @@
     /// The \c set function of the map
     void set(const Key& key, Value value) {
       if (value) {
-	it = container.insert(it, key);
+	it = container.insert(it, functor(key));
         ++it;
       }
     }