-
Florian Renkin authored
split_independant_formulas is now split_independent_formulas * spot/twaalgos/synthesis.hh, spot/twaalgos/synthesis.cc: change name. * bin/ltlsynt.cc: update call * NEWS: Mention it.
2ffdd849
split_independant_formulas is now split_independent_formulas * spot/twaalgos/synthesis.hh, spot/twaalgos/synthesis.cc: change name. * bin/ltlsynt.cc: update call * NEWS: Mention it.