diff -r f112c18bc304 -r 633956ca9421 lemon/maps.h --- a/lemon/maps.h Thu Mar 17 00:35:33 2011 +0100 +++ b/lemon/maps.h Sun Apr 24 21:59:31 2011 +0200 @@ -3252,7 +3252,7 @@ virtual void add(const Key& key) { Parent::add(key); - unlace(key); + lace(key); } virtual void add(const std::vector& keys) {