-
Alexandre Duret-Lutz authored
* src/tgbaalgos/scc.cc (scc_map::update_supp_rec): Also take the label of the outgoing edges into account.
1208365b
* src/tgbaalgos/scc.cc (scc_map::update_supp_rec): Also take the label of the outgoing edges into account.