-
Alexandre Duret-Lutz authored
* src/twaalgos/safety.hh, src/twaalgos/safety.cc: Here. * src/bin/ltlfilt.cc, src/tests/ikwiad.cc, src/twaalgos/minimize.cc, wrap/python/ajax/spotcgi.in: Adjust. * NEWS: Mention the change.
8a8ec21d
* src/twaalgos/safety.hh, src/twaalgos/safety.cc: Here. * src/bin/ltlfilt.cc, src/tests/ikwiad.cc, src/twaalgos/minimize.cc, wrap/python/ajax/spotcgi.in: Adjust. * NEWS: Mention the change.