diff -r 4a170261cc54 -r da87dbdf3daf lemon/maps.h
--- a/lemon/maps.h	Thu Feb 25 09:46:12 2021 +0100
+++ b/lemon/maps.h	Tue Jul 28 21:23:36 2020 +0200
@@ -294,10 +294,13 @@
 
   private:
 
-    RangeMap& operator=(const RangeMap&);
+    // RangeMap& operator=(const RangeMap&);
 
   public:
 
+    // ///\e
+    // RangeMap(const RangeMap&);
+
     ///\e
     Reference operator[](const Key &k) {
       return _vector[k];