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

genltl: fix typo in --help

Browse source 
Reported by František Blahoudek.

* bin/genltl.cc: Here.
* NEWS: Mention it, and the typos previously fixed in spot-x.7.
This commit is contained in:
Alexandre Duret-Lutz 2016-09-15 15:36:53 +02:00
parent 3bb881218f
commit 90214d7c39
2 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
bin/genltl.cc
View file

@ -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 },