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.15fdac60
To find the state of this project's repository at the time of any of these versions, check out the tags.