.hi-boot-5 is obsolete; the earliest GHC we support uses .hi-boot-6

[ghc-hetmet.git] / compiler / typecheck / TcType.hi-boot-5

diff --git a/compiler/typecheck/TcType.hi-boot-5 b/compiler/typecheck/TcType.hi-boot-5
deleted file mode 100644 (file)
index 23b3a9c..0000000
--- a/compiler/typecheck/TcType.hi-boot-5
+++ /dev/null
@@ -1,3 +0,0 @@
-__interface TcType 1 0 where
-__export TcType TyVarDetails;
-1 data TyVarDetails ;