1.1 --- a/lemon/maps.h Tue Apr 12 07:52:25 2011 +0200
1.2 +++ b/lemon/maps.h Tue Apr 26 17:24:31 2011 +0200
1.3 @@ -3252,7 +3252,7 @@
1.4
1.5 virtual void add(const Key& key) {
1.6 Parent::add(key);
1.7 - unlace(key);
1.8 + lace(key);
1.9 }
1.10
1.11 virtual void add(const std::vector<Key>& keys) {