# HG changeset patch
# User Peter Kovacs <kpeter@inf.elte.hu>
# Date 2008-01-04 08:16:15
# Node ID 72364ba3466d1a07ad4b6313794d792d3e35dd6d
# Parent  0cb4ba427bfde8a673461c98fbcc8586460092d0

Bug fix in maps.h.

diff --git a/lemon/maps.h b/lemon/maps.h
--- a/lemon/maps.h
+++ b/lemon/maps.h
@@ -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;
       }
     }