-
Damien Lefortier authored
occuring when labels are pointers. * src/tgbaalgos/ltl2taa.cc: Fix a bug. * src/tgbatest/ltl2tgba.cc: Fix a bug.
9cebcdc1
To find the state of this project's repository at the time of any of these versions, check out the tags.