Fix output file extension for compile cairo (#2727)

- Fixes #2724
anoma · Apr 16, 2024 · 138e8f4 · 138e8f4
1 parent e0ae356
commit 138e8f4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/app/Commands/Compile/Cairo.hs b/app/Commands/Compile/Cairo.hs
@@ -16,7 +16,7 @@ runCommand opts = do
     set entryPointTarget (Just TargetCairo)
       . applyCompileCommonOptions opts'
       <$> getEntryPoint (opts' ^. compileInputFile)
-  cairoFile :: Path Abs File <- getOutputFile FileExtCasm inputFile moutputFile
+  cairoFile :: Path Abs File <- getOutputFile FileExtJson inputFile moutputFile
   r <-
     runReader entryPoint
       . runError @JuvixError