From 58da54e79a95de95dae89357984aecfa8f065f2d Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 26 Feb 2015 17:44:47 +0100
Subject: [PATCH] * src/tgbaalgos/remfin.cc: Purge unreachable states.

---
 src/tgbaalgos/remfin.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/tgbaalgos/remfin.cc b/src/tgbaalgos/remfin.cc
index 4bb8e5760..e5aed4883 100644
--- a/src/tgbaalgos/remfin.cc
+++ b/src/tgbaalgos/remfin.cc
@@ -327,6 +327,7 @@ namespace spot
 
 
       }
+    res->purge_unreachable_states();
     trace << "before cleanup: " << res->get_acceptance() << '\n';
     cleanup_acceptance(res);
     trace << "after cleanup: " << res->get_acceptance() << '\n';