Commit a229600a authored by Etienne Renault's avatar Etienne Renault

ltsmin: do not take iterators by copy

* spot/ltsmin/spins_kripke.hxx: here.
parent 0468cef6
......@@ -251,9 +251,9 @@ namespace spot
kripkecube<cspins_state, cspins_iterator>::~kripkecube()
{
for (auto i: recycle_)
for (auto& i: recycle_)
{
for (auto j: i)
for (auto& j: i)
{
cubeset_.release(j->condition());
delete j;
......
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