Commit d6d71204 authored by Etienne Renault's avatar Etienne Renault

ltsmin: fix call to destructor

* spot/ltsmin/spins_kripke.hxx: here
parent a229600a
......@@ -263,8 +263,8 @@ namespace spot
for (unsigned i = 0; i < nb_threads_; ++i)
{
manager_[i].~cspins_state_manager();
delete inner_[i].compressed_;
delete inner_[i].uncompressed_;
delete[] inner_[i].compressed_;
delete[] inner_[i].uncompressed_;
}
::operator delete(manager_);
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