From f777e96890d372e1016e65b6baf8c3f2927c9f98 Mon Sep 17 00:00:00 2001
From: Etienne Renault <renault@lrde.epita.fr>
Date: Wed, 22 Nov 2017 09:54:56 +0100
Subject: [PATCH] mc: recycle iterators in bloemen

* spot/mc/bloemen.hh: here.
---
 spot/mc/bloemen.hh | 1 +
 1 file changed, 1 insertion(+)

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())