diff options
| author | Pierre-Marie Pédrot | 2021-02-26 13:33:21 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2021-02-26 13:33:21 +0100 |
| commit | c7c155cbaf7516cef98c7a654ee9e0c25a23ab73 (patch) | |
| tree | 54c00cdb7cef7edcb83d360d93a40606199b12f0 /kernel | |
| parent | e494ea6c94e191dc8e9faf8ece29e5a57cc08515 (diff) | |
| parent | 6d2c2094648e956352723113a55e8f3963c35ceb (diff) | |
Merge PR #13676: Protect caml_process_pending_actions_exn with caml_something_to_do.
Reviewed-by: gasche
Ack-by: ppedrot
Reviewed-by: xavierleroy
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/byterun/coq_interp.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/byterun/coq_interp.c b/kernel/byterun/coq_interp.c index a9ea6d9f46..95a334561f 100644 --- a/kernel/byterun/coq_interp.c +++ b/kernel/byterun/coq_interp.c @@ -547,7 +547,7 @@ value coq_interprete CHECK_STACK(0); /* We also check for signals */ #if OCAML_VERSION >= 41000 - { + if (caml_something_to_do) { value res = caml_process_pending_actions_exn(); if (Is_exception_result(res)) { /* If there is an asynchronous exception, we reset the vm */ |