-
Alexandre Duret-Lutz authored
* src/tgbaalgos/scc.hh (scc_map::scc::supp_rec): Initialize to bddfalse, since this cannot occur in reallife. * src/tgbaalgos/scc.cc (scc_map::update_supp_rec): Adjust.
fd0de04d
To find the state of this project's repository at the time of any of these versions, check out the tags.