diff --git a/src/tgbaalgos/isweakscc.cc b/src/tgbaalgos/isweakscc.cc index d5229e961..849be2468 100644 --- a/src/tgbaalgos/isweakscc.cc +++ b/src/tgbaalgos/isweakscc.cc @@ -67,12 +67,8 @@ namespace spot bool is_inherently_weak_scc(scc_info& map, unsigned scc) { - if (!map.get_aut()->acc().uses_fin_acceptance()) - throw std::runtime_error - ("is_inherently_weak_scc() cannot work with Fin acceptance"); - - // If no cycle is accepting, the SCC is weak. - if (!map.is_accepting_scc(scc)) + // Weak SCCs are inherently weak. + if (is_weak_scc(map, scc)) return true; // If the SCC is accepting, but one cycle is not, the SCC is not // weak.