-
Alexandre Duret-Lutz authored
* spot/twa/acc.cc: These functions were segfaulting on acceptance conditions such as "Acceptance: 3 t" or "Acceptance: 3 f". The issue was revealed on branch "next" by the change that print_dot() display the acceptance condition by default, but we want the fix on master as well. * NEWS: Mention the issue.
b6e44e6b