-
Alexandre Duret-Lutz authored
from ... (emptiness_check): ... here. (emptiness_check::root): Redefined as a scc_stack object. * src/tgbaalgos/emptinesscheck.cc: Adjust.
f8321633
To find the state of this project's repository at the time of any of these versions, check out the tags.