diff options
Diffstat (limited to 'includes/RtsExternal.h')
| -rw-r--r-- | includes/RtsExternal.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/RtsExternal.h b/includes/RtsExternal.h index c6fd74ac8d..31cae1a45a 100644 --- a/includes/RtsExternal.h +++ b/includes/RtsExternal.h @@ -111,7 +111,7 @@ void sendIOManagerEvent (HsWord32 event); extern void setIOManagerPipe (int fd); #endif -extern void* allocateExec(unsigned int len); +extern void* allocateExec(unsigned int len, void **exec_addr); // Breakpoint stuff |