diff options
| -rw-r--r-- | ghc/driver/Main.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ghc/driver/Main.hs b/ghc/driver/Main.hs index b40d18b59d..e2f7fa1ac7 100644 --- a/ghc/driver/Main.hs +++ b/ghc/driver/Main.hs @@ -1750,10 +1750,10 @@ opts = ------- version ---------------------------------------------------- - , ( "-version" , NoArg (do hPutStrLn stderr (cProjectName + , ( "-version" , NoArg (do hPutStrLn stdout (cProjectName ++ ", version " ++ version_str) exitWith ExitSuccess)) - , ( "-numeric-version", NoArg (do hPutStrLn stderr version_str + , ( "-numeric-version", NoArg (do hPutStrLn stdout version_str exitWith ExitSuccess)) ------- verbosity ---------------------------------------------------- |