bin/autfilt.cc · 3dc084c4f6da24e0da99eabce8ca5dafc3648cdb · Spot / Spot

use mask_keep_accessible_states · 3dc084c4

Alexandre Duret-Lutz authored Oct 18, 2016

* 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