diff --git a/ChangeLog b/ChangeLog index 9cc362f56..0ca000c5b 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2009-11-23 Alexandre Duret-Lutz + + * src/tgbaalgos/sccfilter.cc (create_transition): Do not clone + the same node twice when dealing with loops. + 2009-11-23 Alexandre Duret-Lutz Use bdd_satprefix() to speedup minato on BDDs that are almost cubes. diff --git a/src/tgbaalgos/sccfilter.cc b/src/tgbaalgos/sccfilter.cc index a749da501..64930aa23 100644 --- a/src/tgbaalgos/sccfilter.cc +++ b/src/tgbaalgos/sccfilter.cc @@ -52,7 +52,7 @@ namespace spot const ltl::formula* out_f = a->get_label(out_s); if (!out_aut->has_state(in_f)) in_f->clone(); - if (!out_aut->has_state(out_f)) + if ((in_f != out_f) && !out_aut->has_state(out_f)) out_f->clone(); return out_aut->create_transition(in_f, out_f); }