Commit 4dfd5fec authored by Jan-Hendrik Matthes's avatar Jan-Hendrik Matthes 😄

Remove unused imports from the TypeSubst module

parent f8d02ba2
......@@ -23,7 +23,6 @@ import Data.List (nub)
import Data.Maybe (fromMaybe)
import qualified Data.Set as Set (Set, map)
import Base.Messages (internalError)
import Base.Subst
import Base.TopEnv
import Base.Types
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment