On Linux use libffi for allocating executable memory (fixed #738)

[ghc-hetmet.git] / includes / Storage.h

diff --git a/includes/Storage.h b/includes/Storage.h
index 2b8f107..d431298 100644 (file)
--- a/includes/Storage.h
+++ b/includes/Storage.h
@@ -204,7 +204,7 @@ doYouWantToGC( void )
 }
 
 /* memory allocator for executable memory */
-extern void *allocateExec (nat bytes);
+extern void* allocateExec(unsigned int len, void **exec_addr);
 extern void freeExec (void *p);
 
 /* for splitting blocks groups in two */