Skip to content
  • Florian Renkin's avatar
    Rename split_independant_formulas · 2ffdd849
    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