Commit e864baf6 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* bin/ltlsynt.cc: Typo.

parent 2960b813
......@@ -71,7 +71,7 @@ static const argp_option options[] =
" propositions", 0},
/**************************************************/
{ nullptr, 0, nullptr, 0, "Fine tuning:", 10 },
{ "algo", OPT_ALGO, "ds|sd|large", 0,
{ "algo", OPT_ALGO, "ds|sd|lar", 0,
"choose the algorithm for synthesis:\n"
" - sd: split then determinize with Safra (default)\n"
" - ds: determinize (Safra) then split\n"
......
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