Commit 968ef0f7 authored by Florian Renkin's avatar Florian Renkin Committed by Alexandre Duret-Lutz
Browse files

ltlsynt: typo in help

* bin/ltlsynt.cc: here
parent 2aecf9a7
......@@ -65,7 +65,7 @@ static const argp_option options[] =
"comma-separated list of controllable (a.k.a. output) atomic"
" propositions", 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},
/**************************************************/
{ nullptr, 0, nullptr, 0, "Fine tuning:", 10 },
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment