-
Alexandre Duret-Lutz authored
* src/tgbatest/ltl2tgba.cc: Fix mismatch between the help text, documenting -rL, and the handling code, expecting -rs.
babc0240
* src/tgbatest/ltl2tgba.cc: Fix mismatch between the help text, documenting -rL, and the handling code, expecting -rs.