-
Alexandre Duret-Lutz authored
Fixes #337. * spot/twaalgos/emptiness.cc, spot/twaalgos/emptiness.hh: Here. * tests/python/except.py: Test it. * NEWS: Mention the issue.
a445778c
Fixes #337. * spot/twaalgos/emptiness.cc, spot/twaalgos/emptiness.hh: Here. * tests/python/except.py: Test it. * NEWS: Mention the issue.