X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FsimplCore%2FSAT.lhs;h=08bb1ecf4080e7e8a073d83614503b864ec3f42f;hb=455302c1fd5dba0047e76ad83ec21d2edb9864de;hp=ca251568a76aba2c29bf50a7221f480403fbca67;hpb=9bcd95bad83ee937c178970e8b729732e680fe1e;p=ghc-hetmet.git

diff --git a/compiler/simplCore/SAT.lhs b/compiler/simplCore/SAT.lhs
index ca25156..08bb1ec 100644
--- a/compiler/simplCore/SAT.lhs
+++ b/compiler/simplCore/SAT.lhs
@@ -56,10 +56,8 @@ import Var
 import CoreSyn
 import CoreUtils
 import Type
-import TcType
 import Id
 import Name
-import OccName
 import VarEnv
 import UniqSupply
 import Util