From 39ad801c711abc3125a643eb224e8ac49b60cafb Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Fri, 15 Mar 2002 12:45:12 +0000
Subject: [PATCH] [project @ 2002-03-15 12:45:12 by simonmar] This doesn't
 appear to be used

---
 GHC/Num.hi-boot |   14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100644 GHC/Num.hi-boot

diff --git a/GHC/Num.hi-boot b/GHC/Num.hi-boot
deleted file mode 100644
index 33298fd..0000000
--- a/GHC/Num.hi-boot
+++ /dev/null
@@ -1,14 +0,0 @@
----------------------------------------------------------------------------
---                              PrelNum.hi-boot
--- 
---      This hand-written interface file is the 
---	initial bootstrap version for PrelNum.hi.
---	It's needed for the 'thin-air' Id addr2Integer, when compiling 
---	PrelBase, and other Prelude files that precede PrelNum
----------------------------------------------------------------------------
- 
-__interface "std" PrelNum 1 where
-__export PrelNum Integer addr2Integer ;
-
-1 data Integer ;
-1 addr2Integer :: PrelGHC.Addrzh -> Integer ;
-- 
1.7.10.4