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

Typo in --help output

Browse source 
* bin/common_aoutput.cc: Fix --help output for -Hk.
* NEWS: Mention it.
This commit is contained in:
Alexandre Duret-Lutz 2016-04-18 17:41:41 +02:00
parent 5185844d8a
commit 134982c08b
2 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
NEWS
View file

@ -1,6 +1,8 @@
New in spot 2.0.0a (not yet released) New in spot 2.0.0a (not yet released)
Nothing yet. Bug fixes:
* Typo in documentation of the -H option in --help output.
New in spot 2.0 (2016-04-11) New in spot 2.0 (2016-04-11)

2
bin/common_aoutput.cc
View file

@ -101,7 +101,7 @@ static const argp_option options[] =
"(+INT) add INT to all set numbers, " "(+INT) add INT to all set numbers, "
"(<INT) display at most INT states, " "(<INT) display at most INT states, "
"(#) show internal edge numbers", 0 }, "(#) show internal edge numbers", 0 },
{ "hoaf", 'H', "i|l|m|s|t|v", OPTION_ARG_OPTIONAL, { "hoaf", 'H', "i|k|l|m|s|t|v", OPTION_ARG_OPTIONAL,
"Output the automaton in HOA format (default). Add letters to select " "Output the automaton in HOA format (default). Add letters to select "
"(i) use implicit labels for complete deterministic automata, " "(i) use implicit labels for complete deterministic automata, "
"(s) prefer state-based acceptance when possible [default], " "(s) prefer state-based acceptance when possible [default], "