Merge pull request #641 from conjure-cp/fix-639

Fix 639
conjure-cp · Feb 15, 2024 · 6e367b3 · 6e367b3
2 parents 04b7913 + 63a4b92
commit 6e367b3
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 6 deletions.
diff --git a/docs/conjure-help.html b/docs/conjure-help.html
@@ -220,7 +220,7 @@
 <tr><td style='padding-left:2ex;'>&nbsp;<td style='padding-left:1ex; white-space:nowrap;'>--limit-time=INT</td><td style='padding-left:2ex;'>Limit in seconds of real time.</td></tr>
 <tr><td colspan='3'>&nbsp;</tr>
 <tr><td colspan='3'>conjure autoig [OPTIONS] ESSENCE_FILE OUTPUT_FILE</td></tr>
-<tr><td colspan='3' style='padding-left:2ex;'>Generate an Essence model describing the instances of the problem class defined in the input Essence model.<br />An error will be printed if the model has infinitely many instances.</td></tr>
+<tr><td colspan='3' style='padding-left:2ex;'>Functionality to support the AutoIG workflow.</td></tr>
 <tr><td colspan='3'>&nbsp;</tr>
 <tr><td colspan='3'>Flags:</td></tr>
 <tr><td style='padding-left:2ex;'>&nbsp;<td style='padding-left:1ex; white-space:nowrap;'>--generator-to-irace</td><td style='padding-left:2ex;'>Convert the givens in a hand written generator model to irace syntax.</td></tr>

diff --git a/docs/conjure-help.txt b/docs/conjure-help.txt
@@ -430,8 +430,7 @@
       --limit-time=INT                        Limit in seconds of real time.
 
  conjure autoig [OPTIONS] ESSENCE_FILE OUTPUT_FILE
-   Generate an Essence model describing the instances of the problem class defined in the input Essence model.
-   An error will be printed if the model has infinitely many instances.
+   Functionality to support the AutoIG workflow.
 
  Flags:
       --generator-to-irace                    Convert the givens in a hand written generator model to irace syntax.

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