git.iko.soy/Idris-dev
on master help sign in
Remove unused import
55ec9cbDavid Christiansen
src/Idris/Providers.hs−1
compare with master
unifiedsplit
@@ -3,7 +3,6 @@ module Idris.Providers (providerTy, getProvided) where
3
3
4import Core.TT
4import Core.TT
5import Core.Evaluate
5import Core.Evaluate
6−import Core.Execute
7import Idris.AbsSyntax
6import Idris.AbsSyntax
8import Idris.AbsSyntaxTree
7import Idris.AbsSyntaxTree
9import Idris.Error
8import Idris.Error