diff -r 09f9abe22df2 -r 643d3192ebc8 src/lemon/vector_map.h
--- a/src/lemon/vector_map.h	Mon Nov 08 16:33:53 2004 +0000
+++ b/src/lemon/vector_map.h	Mon Nov 08 16:42:35 2004 +0000
@@ -189,7 +189,7 @@
 		
     /// Erase a key from the map. It called by the observer registry
     /// and it overrides the erase() member function of the observer base.     
-    void erase(const KeyType& key) {}
+    void erase(const KeyType&) {}
 
     /// Buildes the map.