# HG changeset patch
# User Peter Kovacs <kpeter@inf.elte.hu>
# Date 1199430975 -3600
# Node ID 72364ba3466d1a07ad4b6313794d792d3e35dd6d
# Parent  0cb4ba427bfde8a673461c98fbcc8586460092d0
Bug fix in maps.h.

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;
       }
     }