diff options
author | Guillaume Munch-Maccagnoni <Guillaume.Munch-Maccagnoni@Inria.fr> | 2022-01-27 21:45:28 +0100 |
---|---|---|
committer | Guillaume Munch-Maccagnoni <Guillaume.Munch-Maccagnoni@Inria.fr> | 2022-02-09 22:23:27 +0100 |
commit | 977524564729665e003c0a105f850fa611793530 (patch) | |
tree | fc0acf428e6bc9fd10bb4379ec3540253c60cdeb /runtime/fail_byt.c | |
parent | 9093386715688b5055b3b3258da73bfca2433613 (diff) | |
download | ocaml-977524564729665e003c0a105f850fa611793530.tar.gz |
Remove dead mutex code
No change entry needed.
Diffstat (limited to 'runtime/fail_byt.c')
-rw-r--r-- | runtime/fail_byt.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/runtime/fail_byt.c b/runtime/fail_byt.c index e9b2063d9a..2659b04b06 100644 --- a/runtime/fail_byt.c +++ b/runtime/fail_byt.c @@ -44,9 +44,7 @@ CAMLexport void caml_raise(value v) if (Caml_state->external_raise == NULL) caml_fatal_uncaught_exception(v); *Caml_state->external_raise->exn_bucket = v; - while(Caml_state->local_roots != Caml_state->external_raise->local_roots) { - Caml_state->local_roots = Caml_state->local_roots->next; - } + Caml_state->local_roots = Caml_state->external_raise->local_roots; siglongjmp(Caml_state->external_raise->jmp->buf, 1); } |