-
Alexandre Duret-Lutz authored
* spot/twaalgos/cleanacc.cc (merge_identical_marks_here): Do not call cleanup_acceptance_here(), as this has already been done.
5c390635
* spot/twaalgos/cleanacc.cc (merge_identical_marks_here): Do not call cleanup_acceptance_here(), as this has already been done.