/* -----------------------------------------------------------------------------
- * $Id: HsBase.h,v 1.14 2002/09/25 15:24:07 simonmar Exp $
+ * $Id: HsBase.h,v 1.16 2002/10/03 13:04:58 panne Exp $
*
* (c) The University of Glasgow 2001-2002
*
#ifdef HAVE_UTIME_H
#include <utime.h>
#endif
+#ifdef HAVE_SYS_UTSNAME_H
+#include <sys/utsname.h>
+#endif
#if defined(HAVE_GETTIMEOFDAY)
# ifdef HAVE_SYS_TIME_H
# include <sys/time.h>
/* 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
-------------------------------------------------------------------------- */