alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

ltsmin: fix call to destructor

Browse source 
* spot/ltsmin/spins_kripke.hxx: here
This commit is contained in:
Etienne Renault 2017-03-16 17:00:15 +01:00
parent 3c868c228b
commit 941608060e
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
spot/ltsmin/spins_kripke.hxx
View file

@ -263,8 +263,8 @@ namespace spot
for (unsigned i = 0; i < nb_threads_; ++i) for (unsigned i = 0; i < nb_threads_; ++i)
{ {
manager_[i].~cspins_state_manager(); manager_[i].~cspins_state_manager();
delete inner_[i].compressed_; delete[] inner_[i].compressed_;
delete inner_[i].uncompressed_; delete[] inner_[i].uncompressed_;
} }
::operator delete(manager_); ::operator delete(manager_);
delete[] inner_; delete[] inner_;