From f9ff188eef93e5f9ac9c8119d31b92b3dd10d37b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C3=96zg=C3=BCr=20Akg=C3=BCn?= <ozgurakgun@gmail.com>
Date: Thu, 15 Feb 2024 11:25:08 +0000
Subject: [PATCH] fix help text - ref #639

---
 src/Conjure/UI.hs | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/Conjure/UI.hs b/src/Conjure/UI.hs
index ee152291c..ead32143f 100644
--- a/src/Conjure/UI.hs
+++ b/src/Conjure/UI.hs
@@ -1367,9 +1367,7 @@ ui = modes
             &= help "Line width for pretty printing.\nDefault: 120"
         }   &= name "autoig"
             &= explicit
-            &= help "Generate an Essence model describing the instances of the problem class \
-                    \defined in the input Essence model.\n\
-                    \An error will be printed if the model has infinitely many instances."
+            &= help "Functionality to support the AutoIG workflow."
     , Boost
         { essence
             = def