diff --git a/spot/mc/bloemen.hh b/spot/mc/bloemen.hh index d6111d3ef..e3564441a 100644 --- a/spot/mc/bloemen.hh +++ b/spot/mc/bloemen.hh @@ -470,6 +470,7 @@ namespace spot } } uf_.remove_from_list(v_prime); + sys_.recycle(it, tid_); } if (todo_.back() == Rp_.back())