changeset 971 | 643d3192ebc8 |
parent 946 | c94ef40a22ce |
child 978 | 175cf8c3a994 |
1.1 --- a/src/lemon/vector_map.h Mon Nov 08 16:33:53 2004 +0000 1.2 +++ b/src/lemon/vector_map.h Mon Nov 08 16:42:35 2004 +0000 1.3 @@ -189,7 +189,7 @@ 1.4 1.5 /// Erase a key from the map. It called by the observer registry 1.6 /// and it overrides the erase() member function of the observer base. 1.7 - void erase(const KeyType& key) {} 1.8 + void erase(const KeyType&) {} 1.9 1.10 /// Buildes the map. 1.11