stgMallocBytesRWX --> allocateExec

diff --git a/includes/RtsExternal.h b/includes/RtsExternal.h
index 61a920b..58db11c 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* stgMallocBytesRWX(int len);
+extern void* allocateExec(int len);
 
 /* -----------------------------------------------------------------------------
    Storage manager stuff exported