Remove unnecessary import
commit12ff2e37cda6c276705803b1b589df7c4c3d0efa
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateTue 2 Sep 2014, 08:54 (12 years ago)
parent73c481d
src/Idris/CmdOptions.hs−1
@@ -8,7 +8,6 @@ import IRTS.CodegenCommon
88
99import Options.Applicative
1010import Options.Applicative.Arrows
11−import Options.Applicative.Builder (prefs, idm)
1211import Data.Char
1312import Data.Maybe
1413