From a5bc7c3ff66cf0165afe722f00d9521e719672a6 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 19 Aug 2014 16:15:02 +0200 Subject: [PATCH] * src/misc/bitvect.hh (bitvect_array): Make as SPOT_DELETED. --- src/misc/bitvect.hh | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) 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()