-
Alexandre Duret-Lutz authored
* spot/twa/twagraph.hh (state_acc_sets, state_is_accepting): Do not check num_sets()==0 since this would imply prop_state_acc().
2b073262
* spot/twa/twagraph.hh (state_acc_sets, state_is_accepting): Do not check num_sets()==0 since this would imply prop_state_acc().