From 040c3ce8ddfe84ff3f7a539bdc0f1f70e83ea5e3 Mon Sep 17 00:00:00 2001
From: panne <unknown>
Date: Thu, 3 Oct 2002 13:04:58 +0000
Subject: [PATCH] [project @ 2002-10-03 13:04:58 by panne] Warning police #6:
 Add prototype for writeErrString__, which is used by
 GHC.TopHandler.

---
 include/HsBase.h |    5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/include/HsBase.h b/include/HsBase.h
index a917b96..7f2e633 100644
--- a/include/HsBase.h
+++ b/include/HsBase.h
@@ -1,5 +1,5 @@
 /* -----------------------------------------------------------------------------
- * $Id: HsBase.h,v 1.15 2002/10/03 12:43:50 panne Exp $
+ * $Id: HsBase.h,v 1.16 2002/10/03 13:04:58 panne Exp $
  *
  * (c) The University of Glasgow 2001-2002
  *
@@ -119,6 +119,9 @@ HsInt rawSystemCmd(HsAddr cmd);
 /* in inputReady.c */
 int inputReady(int fd, int msecs, int isSock);
 
+/* in writeError.c */
+void writeErrString__(HsAddr msg_hdr, HsAddr msg, HsInt len);
+
 /* -----------------------------------------------------------------------------
    64-bit operations, defined in longlong.c
    -------------------------------------------------------------------------- */
-- 
1.7.10.4