diff options
Diffstat (limited to 'byterun/sys.c')
| -rw-r--r-- | byterun/sys.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/byterun/sys.c b/byterun/sys.c index f04d676f5..f76a55643 100644 --- a/byterun/sys.c +++ b/byterun/sys.c @@ -106,6 +106,7 @@ CAMLexport void caml_sys_error(value arg) } caml_raise_sys_error(str); } + CAMLnoreturn; } CAMLprim value caml_sys_exit(value retcode) |