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

* src/bin/ltlcross.cc: Typo.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2013-07-20 16:13:47 +02:00
parent 00bf8d1641
commit b26b910358
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/bin/ltlcross.cc
View file

@ -89,9 +89,9 @@ Exit status:\n\
static const argp_option options[] = static const argp_option options[] =
{ {
/**************************************************/ /**************************************************/
{ 0, 0, 0, 0, "Specifying translator to call:", 2 }, { 0, 0, 0, 0, "Specifying translators to call:", 2 },
{ "translator", 't', "COMMANDFMT", 0, { "translator", 't', "COMMANDFMT", 0,
"register one translators to call", 0 }, "register one translator to call", 0 },
{ "timeout", 'T', "NUMBER", 0, "kill translators after NUMBER seconds", 0 }, { "timeout", 'T', "NUMBER", 0, "kill translators after NUMBER seconds", 0 },
/**************************************************/ /**************************************************/
{ 0, 0, 0, 0, { 0, 0, 0, 0,