Defualt compile to the json target

informalsystems · Mar 12, 2024 · f078b57 · f078b57
1 parent dda6aee
commit f078b57
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/quint/src/cli.ts b/quint/src/cli.ts
@@ -85,6 +85,7 @@ const compileCmd = {
       .option('target', {
         desc: `the compilation target. Supported values: ${supportedTarges.join(', ')}`,
         type: 'string',
+        default: 'json',
       })
       .coerce('target', (target: string): string => {
         if (!supportedTarges.includes(target)) {