From 13402a63c45204e43051182cd4d1b6bd1de32da7 Mon Sep 17 00:00:00 2001
From: Etienne Renault <renault@lrde.epita.fr>
Date: Tue, 9 Jun 2020 16:36:32 +0200
Subject: [PATCH] bloemen_ec: avoid leak when counterexample detected

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

diff --git a/spot/mc/bloemen_ec.hh b/spot/mc/bloemen_ec.hh
index 4f1bc78f5..c31f0231f 100644
--- a/spot/mc/bloemen_ec.hh
+++ b/spot/mc/bloemen_ec.hh
@@ -563,6 +563,7 @@ namespace spot
                       // cycle found in SCC and it contains acceptance condition
                       if (twa_->acc().accepting(scc_acc))
                         {
+                          sys_.recycle(it_kripke, tid_);
                           stop_ = true;
                           is_empty_ = false;
                           tm_.stop("DFS thread " + std::to_string(tid_));