diff --git a/src/misc/bitvect.hh b/src/misc/bitvect.hh index c1a44c89a..2342bf993 100644 --- a/src/misc/bitvect.hh +++ b/src/misc/bitvect.hh @@ -453,11 +453,8 @@ namespace spot { } - /// Not implemented. - SPOT_LOCAL bitvect_array(const bitvect_array&); - /// Not implemented. - SPOT_LOCAL void operator=(const bitvect_array&); - + SPOT_LOCAL bitvect_array(const bitvect_array&) SPOT_DELETED; + SPOT_LOCAL void operator=(const bitvect_array&) SPOT_DELETED; public: ~bitvect_array()