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

bin: fix some --help typos

Browse source 
Reported by František Blahoudek.

* bin/genaut.cc, bin/autcross.cc: Fix help strings.
This commit is contained in:
Alexandre Duret-Lutz 2017-09-07 15:55:34 +02:00
parent 1941bac22c
commit c704c3b019
2 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
bin/genaut.cc
View file

@ -55,10 +55,10 @@ static const argp_option options[] =
"deterministic co-Büchi automaton has at least 2^N/(2N+1) states.", 0},
{ "l-nba", gen::AUT_L_NBA, "RANGE", 0,
"A Büchi automaton with 3N+1 states whose complementary Streett "
"automaton needs at least n! states.", 0},
"automaton needs at least N! states.", 0},
{ "l-dsa", gen::AUT_L_DSA, "RANGE", 0,
"A deterministic Streett automaton with 4N states with no "
"equivalent deterministic Rabin automaton of less than n! states.", 0},
"equivalent deterministic Rabin automaton of less than N! states.", 0},
RANGE_DOC,
/**************************************************/
{ nullptr, 0, nullptr, 0, "Miscellaneous options:", -1 },