-
Alexandre Duret-Lutz authored
Reuse s->second to avoid a hash lookup. * src/tgbaalgos/save.cc (save_bfs::process_state): Delete dest.
791c3890
To find the state of this project's repository at the time of any of these versions, check out the tags.