@@ -18,7 +18,7 @@ import IRTS.System (getIdrisLibDir)
1818
1919import Control.Applicative ((<$>))
2020import Control.Monad.State.Strict
21−import Data.Char (isDigit, isAlpha, toLower)
21+import Data.Char (isAlpha, isDigit, toLower)
2222import Data.List (isSuffixOf)
2323import System.Directory
2424import System.FilePath