fix help text - ref #639

conjure-cp · Feb 15, 2024 · f9ff188 · f9ff188
1 parent 1ee1f36
commit f9ff188
Showing 1 changed file with 1 addition and 3 deletions.
diff --git 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