-
Alexandre Duret-Lutz authored
Fixes #70. We don't modify the behavior of mask_keep_states(), because it is actually useful in some algorithm to remove states without renumbering all the other states. * src/bin/autfilt.cc: Call purge_dead_states(). * src/tgbatest/maskkeep.test: Adjust.
483212d2