@@ -29,7 +29,6 @@ import Idris.CmdOptions
2929import IRTS.System ( getLibFlags, getIdrisLibDir, getIncFlags )
3030
3131import Util.DynamicLinker
32−import Util.System
3332
3433import Pkg.Package
3534
@@ -39,9 +38,7 @@ import Paths_idris
3938-- on with the REPL.
4039
4140main :: IO ()
42−main = do
43− when isWindows $ do hSetEncoding stdout utf8
44− opts <- runArgParser
41+main = do opts <- runArgParser
4542 runMain (runIdris opts)
4643
4744runIdris :: [Opt] -> Idris ()