From 33dc622e7b43df3f4b698328f720278602905759 Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Thu, 1 Jun 2006 12:54:06 +0000 Subject: [PATCH] fix type of allocateExec --- includes/RtsExternal.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/includes/RtsExternal.h b/includes/RtsExternal.h index 58db11c..da03bb4 100644 --- a/includes/RtsExternal.h +++ b/includes/RtsExternal.h @@ -77,7 +77,7 @@ extern StgInt *signal_handlers; #endif extern void setIOManagerPipe (int fd); -extern void* allocateExec(int len); +extern void* allocateExec(unsigned int len); /* ----------------------------------------------------------------------------- Storage manager stuff exported -- 1.7.10.4