* src/misc/bitvect.hh (bitvect_array): Make as SPOT_DELETED.

This commit is contained in:
Alexandre Duret-Lutz 2014-08-19 16:15:02 +02:00
parent 06a0c498a4
commit a5bc7c3ff6

View file

@ -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()