• Alexandre Duret-Lutz's avatar
    use mask_keep_accessible_states · 3dc084c4
    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