From 90214d7c39cd73c22b93024235f09d1c2a645e3e Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 15 Sep 2016 15:36:53 +0200 Subject: [PATCH] genltl: fix typo in --help MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Reported by FrantiĊĦek Blahoudek. * bin/genltl.cc: Here. * NEWS: Mention it, and the typos previously fixed in spot-x.7. --- NEWS | 1 + bin/genltl.cc | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/NEWS b/NEWS index f23ebcfe3..945fd3e53 100644 --- a/NEWS +++ b/NEWS @@ -22,6 +22,7 @@ New in spot 2.1.0a (not yet released) * Fix several cases where command-line tools would fail to diagnose write errors (e.g. when writing to a filesystem that is full). + * Typos in genltl --help and in the man page spot-x(7). New in spot 2.1 (2016-08-08) diff --git a/bin/genltl.cc b/bin/genltl.cc index a7f2d61ea..3beda8f1a 100644 --- a/bin/genltl.cc +++ b/bin/genltl.cc @@ -217,7 +217,7 @@ static const argp_option options[] = "F(p&(Xp)&(XXp)&...(X...X(p))) & F(q&(Xq)&(XXq)&...(X...X(q)))", 0 }, { "dac-patterns", OPT_DAC_PATTERNS, "RANGE", OPTION_ARG_OPTIONAL, "Dwyer et al. [FMSP'98] Spec. Patterns for LTL " - "(range should be included in 1..45)", 0 }, + "(range should be included in 1..55)", 0 }, { "eh-patterns", OPT_EH_PATTERNS, "RANGE", OPTION_ARG_OPTIONAL, "Etessami and Holzmann [Concur'00] patterns " "(range should be included in 1..12)", 0 },