-
Alexandre Duret-Lutz authored
* spot/twaalgos/mealy_machine.cc (is_split_mealy_specialization): Hide spl in NDEBUG. * spot/twaalgos/synthesis.cc (apply_strategy): sp is not always used.
59b361ba
* spot/twaalgos/mealy_machine.cc (is_split_mealy_specialization): Hide spl in NDEBUG. * spot/twaalgos/synthesis.cc (apply_strategy): sp is not always used.