From b79e30725807c349754aeca4df2bbe50b03fd971 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 21 Apr 2016 14:43:32 +0200 Subject: [PATCH] * bin/autfilt.cc: Typos in --help. --- bin/autfilt.cc | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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,