• Alexandre Duret-Lutz's avatar
    Optimize previous patch. · fd0de04d
    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