-
Alexandre Duret-Lutz authoredFixes #307. * spot/tl/formula.hh: Here. * tests/python/ltlparse.py: Test it. * NEWS: Mention it.
974a4238
To find the state of this project's repository at the time of any of these versions, check out the tags.
Fixes #307. * spot/tl/formula.hh: Here. * tests/python/ltlparse.py: Test it. * NEWS: Mention it.