-
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.
91e8493c
* bin/common_post.cc, bin/common_post.hh: Add a "nooutput" variant of the options. * bin/ltl2tgta.cc: Use it. * NEWS: Mention the fix.