-
Alexandre Duret-Lutz authored
* src/tgbatest/ltl2tgba.cc (syntax): Add missing std::endl before -taa. Remove -r8 and -fr8, since they do not exist.
24b78fde
* src/tgbatest/ltl2tgba.cc (syntax): Add missing std::endl before -taa. Remove -r8 and -fr8, since they do not exist.