fix type of allocateExec

diff --git a/includes/RtsExternal.h b/includes/RtsExternal.h
index 58db11c..da03bb4 100644 (file)
--- 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