-
Alexandre Duret-Lutz authored
Report from Joachim Klein. * spot/twaalgos/ltl2tgba_fm.cc: Set the property, do not read it. * tests/core/unambig.test: Add a test. * NEWS: Mention the bug.
c968e7b8
To find the state of this project's repository at the time of any of these versions, check out the tags.