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

* bin/autfilt.cc: Typos in --help.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2016-04-21 14:43:32 +02:00
parent 7d930359c1
commit b79e307258
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
bin/autfilt.cc
View file

@ -222,11 +222,11 @@ static const argp_option options[] =
"in FILENAME", 0 }, "in FILENAME", 0 },
{ "invert-match", 'v', nullptr, 0, "select non-matching automata", 0 }, { "invert-match", 'v', nullptr, 0, "select non-matching automata", 0 },
{ "states", OPT_STATES, "RANGE", 0, { "states", OPT_STATES, "RANGE", 0,
"keep automata whose number of states are in RANGE", 0 }, "keep automata whose number of states is in RANGE", 0 },
{ "edges", OPT_EDGES, "RANGE", 0, { "edges", OPT_EDGES, "RANGE", 0,
"keep automata whose number of edges are in RANGE", 0 }, "keep automata whose number of edges is in RANGE", 0 },
{ "acc-sets", OPT_ACC_SETS, "RANGE", 0, { "acc-sets", OPT_ACC_SETS, "RANGE", 0,
"keep automata whose number of acceptance sets are in RANGE", 0 }, "keep automata whose number of acceptance sets is in RANGE", 0 },
{ "accept-word", OPT_ACCEPT_WORD, "WORD", 0, { "accept-word", OPT_ACCEPT_WORD, "WORD", 0,
"keep automata that accept WORD", 0 }, "keep automata that accept WORD", 0 },
{ "reject-word", OPT_REJECT_WORD, "WORD", 0, { "reject-word", OPT_REJECT_WORD, "WORD", 0,