• Alexandre Duret-Lutz's avatar
    degen: fix a memory leak · 1b2f9fe5
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/degen.cc (degeneralize): Do not call i->current_state()
    to get the current SCC, as we already have the state in d.first.
    1b2f9fe5
degen.cc 17.8 KB