-
Alexandre Duret-Lutz authored
* spot/twaalgos/determinize.cc (safra_state::merge_redundant_states): Test is_connected before called bdd_implies.
3f64e972
* spot/twaalgos/determinize.cc (safra_state::merge_redundant_states): Test is_connected before called bdd_implies.