-
Alexandre Duret-Lutz authored
* bin/common_post.cc, bin/common_post.hh: Add a "nooutput" variant of the options. * bin/ltl2tgta.cc: Use it. * NEWS: Mention the fix.
70064d0b
* bin/common_post.cc, bin/common_post.hh: Add a "nooutput" variant of the options. * bin/ltl2tgta.cc: Use it. * NEWS: Mention the fix.