Commit c35eb2b4 authored by Etienne Renault's avatar Etienne Renault
Browse files

ltsmin: placement new requires placement delete

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

*  spot/ltsmin/spins_kripke.hxx: here.
parent 586a1575
...@@ -266,6 +266,7 @@ namespace spot ...@@ -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_;
} }
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment