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

ltsmin: do not take iterators by copy

Browse source 
* spot/ltsmin/spins_kripke.hxx: here.
This commit is contained in:
Etienne Renault 2017-03-16 16:57:54 +01:00
parent df872ce6d9
commit 3c868c228b
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

@ -251,9 +251,9 @@ namespace spot
kripkecube<cspins_state, cspins_iterator>::~kripkecube() 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()); cubeset_.release(j->condition());
delete j; delete j;