diff options
author | Fabrice Buoro <fabrice@tarides.com> | 2023-02-15 17:32:19 +0100 |
---|---|---|
committer | fabbing <fabrice@tarides.com> | 2023-02-17 14:53:50 +0100 |
commit | cca7a084c189cac2dd52961ae00e9040bb3bb838 (patch) | |
tree | bedfb2562df4a5711eb734e588e8ae6cf0b20607 /stdlib/gc.ml | |
parent | c6cab22ec63cd6f5bca554265d28c11e94e474fd (diff) | |
download | ocaml-cca7a084c189cac2dd52961ae00e9040bb3bb838.tar.gz |
Re-register finaliser only after calling user alarm in Gc.create_alarm
Fixes #12002
Diffstat (limited to 'stdlib/gc.ml')
-rw-r--r-- | stdlib/gc.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/gc.ml b/stdlib/gc.ml index 832cfedb4d..adc2c624a9 100644 --- a/stdlib/gc.ml +++ b/stdlib/gc.ml @@ -108,8 +108,8 @@ type alarm_rec = {active : alarm; f : unit -> unit} let rec call_alarm arec = if Atomic.get arec.active then begin - finalise call_alarm arec; arec.f (); + finalise call_alarm arec; end |