diff --git a/spot/mc/deadlock.hh b/spot/mc/deadlock.hh
index f51341b3d..73a5df7a5 100644
--- a/spot/mc/deadlock.hh
+++ b/spot/mc/deadlock.hh
@@ -106,6 +106,11 @@ namespace spot
 
     virtual ~swarmed_deadlock()
     {
+      while (!todo_.empty())
+        {
+          sys_.recycle(todo_.back().it, tid_);
+          todo_.pop_back();
+        }
     }
 
     void setup()