-
Alexandre Duret-Lutz authored
* spot/twaalgos/toparity.cc: Do not call prpagate_marks_here twice if the automaton was not degeneralized. * spot/twaalgos/toparity.hh: Typo in comment.
fde9a303
* spot/twaalgos/toparity.cc: Do not call prpagate_marks_here twice if the automaton was not degeneralized. * spot/twaalgos/toparity.hh: Typo in comment.