1.1 --- a/lemon/maps.h	Thu Feb 25 09:46:12 2021 +0100
     1.2 +++ b/lemon/maps.h	Tue Jul 28 21:23:36 2020 +0200
     1.3 @@ -294,10 +294,13 @@
     1.4  
     1.5    private:
     1.6  
     1.7 -    RangeMap& operator=(const RangeMap&);
     1.8 +    // RangeMap& operator=(const RangeMap&);
     1.9  
    1.10    public:
    1.11  
    1.12 +    // ///\e
    1.13 +    // RangeMap(const RangeMap&);
    1.14 +
    1.15      ///\e
    1.16      Reference operator[](const Key &k) {
    1.17        return _vector[k];