-
Alexandre Duret-Lutz authored
* src/tgbaalgos/scc.cc (scc_map::update_supp_rec): Also take the label of the outgoing edges into account.
1208365b
To find the state of this project's repository at the time of any of these versions, check out the tags.