Remove redundant import of module already fully imported

idris-lang · Sep 24, 2016 · c97339e · c97339e
1 parent c4c0a2b
commit c97339e
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/Idris/Package.hs b/src/Idris/Package.hs
@@ -14,7 +14,6 @@ import System.Exit
 import System.IO
 import System.FilePath ((</>), addTrailingPathSeparator, takeFileName,
  takeDirectory, normalise, addExtension, hasExtension)
-import System.Directory (createDirectoryIfMissing, copyFile)
 
 import Util.System