summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGabriel Scherer <gabriel.scherer@gmail.com>2015-08-03 10:06:58 +0000
committerGabriel Scherer <gabriel.scherer@gmail.com>2015-08-03 10:06:58 +0000
commit465e34a5907af6f17767d54725859c044578ece7 (patch)
tree0aa56f47c1543b78d881abc0631d1a00294533df
parent1957021b272f3365894f3e56b370ab22826b6cb3 (diff)
downloadocaml-465e34a5907af6f17767d54725859c044578ece7.tar.gz
GPR#221: add forgotten CAMLnoreturn_end
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16321 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--asmrun/fail.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/asmrun/fail.c b/asmrun/fail.c
index 1cff081174..1c9e4343ca 100644
--- a/asmrun/fail.c
+++ b/asmrun/fail.c
@@ -47,7 +47,7 @@ extern caml_generated_constant
/* Exception raising */
-CAMLnoreturn_start extern void caml_raise_exception (value bucket);
+CAMLnoreturn_start extern void caml_raise_exception (value bucket) CAMLnoreturn_end;
char * caml_exception_pointer = NULL;