From 74d1ec2bffd55c6b94e99d60ee36fb12b4a00681 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 7 Oct 2019 20:22:24 +0200
Subject: [PATCH] * bin/ltlsynt.cc: Typo.

---
 bin/ltlsynt.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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"