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

mc: recycle iterators in bloemen

Browse source 
* spot/mc/bloemen.hh: here.
This commit is contained in:
Etienne Renault 2017-11-22 09:54:56 +01:00
parent f397def03e
commit f777e96890
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
spot/mc/bloemen.hh
View file

@ -470,6 +470,7 @@ namespace spot
} }
} }
uf_.remove_from_list(v_prime); uf_.remove_from_list(v_prime);
sys_.recycle(it, tid_);
} }
if (todo_.back() == Rp_.back()) if (todo_.back() == Rp_.back())