-
Alexandre Duret-Lutz authored
* bin/autfilt.cc, spot/twaalgos/isweakscc.cc, spot/twaalgos/remfin.cc, spot/twaalgos/sccinfo.cc: Use mask_keep_accessible_states instead of mask_keep_states.
3dc084c4
* bin/autfilt.cc, spot/twaalgos/isweakscc.cc, spot/twaalgos/remfin.cc, spot/twaalgos/sccinfo.cc: Use mask_keep_accessible_states instead of mask_keep_states.