diff options
Diffstat (limited to 'bindings/ocaml/executionengine/executionengine_ocaml.c')
| -rw-r--r-- | bindings/ocaml/executionengine/executionengine_ocaml.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/bindings/ocaml/executionengine/executionengine_ocaml.c b/bindings/ocaml/executionengine/executionengine_ocaml.c index a7b455c90b..58d7d5a77f 100644 --- a/bindings/ocaml/executionengine/executionengine_ocaml.c +++ b/bindings/ocaml/executionengine/executionengine_ocaml.c @@ -43,7 +43,6 @@ static void llvm_raise(value Prototype, char *Message) { raise_with_arg(Prototype, CamlMessage); abort(); /* NOTREACHED */ - CAMLnoreturn; } |