diff options
Diffstat (limited to 'asmrun/fail.c')
| -rw-r--r-- | asmrun/fail.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/asmrun/fail.c b/asmrun/fail.c index 57146b64cb..d00014ef29 100644 --- a/asmrun/fail.c +++ b/asmrun/fail.c @@ -79,6 +79,7 @@ void caml_raise_constant(value tag) bucket = caml_alloc_small (1, 0); Field(bucket, 0) = tag; caml_raise(bucket); + CAMLnoreturn; } void caml_raise_with_arg(value tag, value arg) @@ -90,6 +91,7 @@ void caml_raise_with_arg(value tag, value arg) Field(bucket, 0) = tag; Field(bucket, 1) = arg; caml_raise(bucket); + CAMLnoreturn; } void caml_raise_with_string(value tag, char *msg) |