-
Alexandre Duret-Lutz authored
Rename as ... (emptiness_check::h): ... this, and define as a hash_map. (emptiness_check::remove_component): Remove superfluous state_map argument. * src/tgbaalgos/emptinesscheck.cc: Adjust.
f0dd415f
To find the state of this project's repository at the time of any of these versions, check out the tags.