diff options
Diffstat (limited to 'byterun/sys.h')
| -rw-r--r-- | byterun/sys.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/byterun/sys.h b/byterun/sys.h index f0e2582e5..86daa7b7b 100644 --- a/byterun/sys.h +++ b/byterun/sys.h @@ -22,7 +22,7 @@ CAMLextern void caml_sys_error (value); extern void sys_init (char * exe_name, char ** argv); -CAMLextern value sys_exit (value); +CAMLextern value caml_sys_exit (value); extern char * caml_exe_name; |