diff options
Diffstat (limited to 'byterun/main.c')
| -rw-r--r-- | byterun/main.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/byterun/main.c b/byterun/main.c index 4c7a19159..441eb30ec 100644 --- a/byterun/main.c +++ b/byterun/main.c @@ -41,6 +41,6 @@ int main(int argc, char **argv) rotatecursor_options (&something_to_do, 0, NULL); #endif /* macintosh */ caml_main(argv); - sys_exit(Val_int(0)); + caml_sys_exit(Val_int(0)); return 0; /* not reached */ } |