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

ltsmin: placement new requires placement delete

Browse source 
This commit fixes a bug that (randomly) occurs when
calling destructor of kripkecube.

*  spot/ltsmin/spins_kripke.hxx: here.
This commit is contained in:
Etienne Renault 2017-03-16 16:54:32 +01:00
parent 47c4f19e22
commit df872ce6d9
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
spot/ltsmin/spins_kripke.hxx
View file

@ -266,6 +266,7 @@ namespace spot
delete inner_[i].compressed_; delete inner_[i].compressed_;
delete inner_[i].uncompressed_; delete inner_[i].uncompressed_;
} }
::operator delete(manager_);
delete[] inner_; delete[] inner_;
} }