From 5d427f6d154492a23a5e32f9b47653b5053e580f Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 20 Nov 2009 15:33:40 +0100
Subject: [PATCH] * src/tgbaalgos/sccfilter.cc (scc_filter): Merge transitions
 after removing acceptance conditions.

---
 ChangeLog                  | 5 +++++
 src/tgbaalgos/sccfilter.cc | 4 +++-
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index fb3437b4e..056f51295 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2009-11-20  Alexandre Duret-Lutz  <adl@va-et-vient.net>
+
+	* src/tgbaalgos/sccfilter.cc (scc_filter): Merge transitions
+	after removing acceptance conditions.
+
 2009-11-18  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	Remove prune_scc(), prune_acc(), and related fonctions.
diff --git a/src/tgbaalgos/sccfilter.cc b/src/tgbaalgos/sccfilter.cc
index adc94099c..1c7aa2968 100644
--- a/src/tgbaalgos/sccfilter.cc
+++ b/src/tgbaalgos/sccfilter.cc
@@ -93,7 +93,9 @@ namespace spot
 
     filter_iter fi(aut, sm, ss.useless_scc_map);
     fi.run();
-    return fi.result();
+    tgba_explicit_string* res = fi.result();
+    res->merge_transitions();
+    return res;
   }