[project @ 1998-12-02 13:17:09 by simonm]

[ghc-hetmet.git] / ghc / runtime / hooks / ErrorHdr.lc

diff --git a/ghc/runtime/hooks/ErrorHdr.lc b/ghc/runtime/hooks/ErrorHdr.lc
deleted file mode 100644 (file)
index 9e32f4b..0000000
--- a/ghc/runtime/hooks/ErrorHdr.lc
+++ /dev/null
@@ -1,10 +0,0 @@
-\begin{code}
-#include "rtsdefs.h"
-
-void
-ErrorHdrHook (StgInt fd)
-{
-    const char msg[]="\nFail: ";
-    write(fd,msg,sizeof(msg)-1);
-}
-\end{code}