Remove unnecessary import from parser
commita20cb92d11036d5acf0769a1a4be4760d7bed4da
authorJoseph Morag <joseph.morag@columbia.edu>
dateTue 11 Dec 2018, 11:53 (8 years ago)
parent4994292
src/Idris/Parser.hs−1
@@ -60,7 +60,6 @@ import qualified System.Directory as Dir (doesFileExist, getModificationTime,
6060import System.FilePath
6161import Text.Megaparsec ((<?>))
6262import qualified Text.Megaparsec as P
63−import qualified Text.Megaparsec.Char as P
6463import qualified Text.PrettyPrint.ANSI.Leijen as PP
6564
6665{-