# HG changeset patch
# User klao
# Date 1099932155 0
# Node ID 643d3192ebc8ed5ff4da47bf8b7d51b513b18811
# Parent  09f9abe22df2ef54e9562b41a93a77448af83749
remove an annoying warning

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.