-
Alexandre Duret-Lutz authored
* src/ltlvisit/tostring.hh, src/ltlvisit/tostring.cc (to_wring_string): New option. * src/bin/common_output.hh, src/bin/common_output.cc: Add support for a --wring option. * src/bin/ltlcheck.cc: Add %w and %W format specifiers.
0fc3c6bc