diff --git a/bin/ltlsynt.cc b/bin/ltlsynt.cc index 8377b79d6..e92d36f2d 100644 --- a/bin/ltlsynt.cc +++ b/bin/ltlsynt.cc @@ -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"