-
Alexandre Duret-Lutz authored
Fix issue #380. * bin/common_finput.cc: Erase a trailing \r. * tests/core/ltl2tgba2.test: Test it. * NEWS: Mention the fix.
e340e61f
Fix issue #380. * bin/common_finput.cc: Erase a trailing \r. * tests/core/ltl2tgba2.test: Test it. * NEWS: Mention the fix.