diff --git a/bin/autfilt.cc b/bin/autfilt.cc index 5a001ba11..54c9128cf 100644 --- a/bin/autfilt.cc +++ b/bin/autfilt.cc @@ -222,11 +222,11 @@ static const argp_option options[] = "in FILENAME", 0 }, { "invert-match", 'v', nullptr, 0, "select non-matching automata", 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, - "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, - "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, "keep automata that accept WORD", 0 }, { "reject-word", OPT_REJECT_WORD, "WORD", 0,