Remove mention of HOCON from --apalache-config

informalsystems · Oct 11, 2023 · 80763ed · 80763ed
1 parent bf28c76
commit 80763ed
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/doc/quint.md b/doc/quint.md
@@ -279,8 +279,8 @@ Options:
                                                                         [string]
   --random-transitions  choose transitions at random (= use symbolic simulation)
                                                       [boolean] [default: false]
-  --apalache-config  Filename of the additional Apalache configuration (in the
-                     HOCON format, a superset of JSON)                  [string]
+  --apalache-config     path to an additional Apalache configuration file (in
+                        JSON)                                           [string]
   --verbosity        control how much output is produced (0 to 5)
                                                            [number] [default: 2]
 ```

diff --git a/quint/src/cli.ts b/quint/src/cli.ts
@@ -246,7 +246,7 @@ const verifyCmd = {
         default: false,
       })
       .option('apalache-config', {
-        desc: 'Filename of the additional Apalache configuration (in the HOCON format, a superset of JSON)',
+        desc: 'path to an additional Apalache configuration file (in JSON)',
         type: 'string',
       })
       .option('verbosity', {