diff options
Diffstat (limited to 'byterun/unix.c')
-rw-r--r-- | byterun/unix.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/byterun/unix.c b/byterun/unix.c index 60e5f3634..7d3f85788 100644 --- a/byterun/unix.c +++ b/byterun/unix.c @@ -312,7 +312,7 @@ char * caml_dlerror(void) #endif #else -void * caml_dlopen(char * libname) +void * caml_dlopen(char * libname, int for_execution) { return NULL; } |