alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

ltl2tgba, ltldo: fix location of --negate in --help output

Browse source 
* bin/common_finput.cc, bin/ltl2tgba.cc, bin/ltldo.cc: Make sure
--negate is listed along with input options.
This commit is contained in:
Alexandre Duret-Lutz 2019-12-28 22:10:33 +01:00
parent cfe3ed707a
commit 2764e81588
3 changed files with 6 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

2
bin/ltl2tgba.cc
View file

@ -70,7 +70,7 @@ static const argp_option options[] =
const struct argp_child children[] =
{
{ &finput_argp, 0, nullptr, 1 },
{ &finput_argp, 0, nullptr, 0 },
{ &aoutput_argp, 0, nullptr, 0 },
{ &aoutput_o_format_argp, 0, nullptr, 0 },
{ &post_argp, 0, nullptr, 0 },