git.iko.soy/Idris-dev
on master help sign in
Remove unnecessary import
12ff2e3David Raymond Christiansen
src/Idris/CmdOptions.hs−1
compare with master
unifiedsplit
@@ -8,7 +8,6 @@ import IRTS.CodegenCommon
8
8
9import Options.Applicative
9import Options.Applicative
10import Options.Applicative.Arrows
10import Options.Applicative.Arrows
11−import Options.Applicative.Builder (prefs, idm)
12import Data.Char
11import Data.Char
13import Data.Maybe
12import Data.Maybe
14
13