Skip to content
  • Alexandre Duret-Lutz's avatar
    to_parity: minor fixes · 3710e8f2
    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.
    3710e8f2