Fix dev compile options documentation

The wasm32-wasi target was renamed to wasi in #2713
anoma · Apr 19, 2024 · 7eadc60 · 7eadc60
1 parent 6231946
commit 7eadc60
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/app/Commands/Extra/Compile/Options.hs b/app/Commands/Extra/Compile/Options.hs
@@ -112,19 +112,19 @@ parseCompileOptions' supportedTargets parserFile = do
     switch
       ( short 'C'
           <> long "only-c"
-          <> help "Produce C output only (for targets: wasm32-wasi, native)"
+          <> help "Produce C output only (for targets: wasi, native)"
       )
   _compilePreprocess <-
     switch
       ( short 'E'
           <> long "only-preprocess"
-          <> help "Run the C preprocessor only (for targets: wasm32-wasi, native)"
+          <> help "Run the C preprocessor only (for targets: wasi, native)"
       )
   _compileAssembly <-
     switch
       ( short 'S'
           <> long "only-assemble"
-          <> help "Produce assembly output only (for targets: wasm32-wasi, native)"
+          <> help "Produce assembly output only (for targets: wasi, native)"
       )
   _compileTerm <-
     if