From 968ef0f7b89431f44f6c90c4ed5b2c7b92bb345a Mon Sep 17 00:00:00 2001
From: Florian Renkin <frenkin@lrde.epita.fr>
Date: Tue, 15 Mar 2022 14:01:25 +0100
Subject: [PATCH] ltlsynt: typo in help

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

diff --git a/bin/ltlsynt.cc b/bin/ltlsynt.cc
index 57b67bcc0..c6e53258c 100644
--- a/bin/ltlsynt.cc
+++ b/bin/ltlsynt.cc
@@ -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 },