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

ltlsynt: typo in help

Browse source 
* bin/ltlsynt.cc: here
This commit is contained in:
Florian Renkin 2022-03-15 14:01:25 +01:00
parent 0745e735bb
commit e248f4500d
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
bin/ltlsynt.cc
View file

@ -65,7 +65,7 @@ static const argp_option options[] =
"comma-separated list of controllable (a.k.a. output) atomic" "comma-separated list of controllable (a.k.a. output) atomic"
" propositions", 0}, " propositions", 0},
{ "ins", OPT_INPUT, "PROPS", 0, { "ins", OPT_INPUT, "PROPS", 0,
"comma-separated list of controllable (a.k.a. output) atomic" "comma-separated list of uncontrollable (a.k.a. input) atomic"
" propositions", 0}, " propositions", 0},
/**************************************************/ /**************************************************/
{ nullptr, 0, nullptr, 0, "Fine tuning:", 10 }, { nullptr, 0, nullptr, 0, "Fine tuning:", 10 },