diff options
author | Guillaume Munch-Maccagnoni <Guillaume.Munch-Maccagnoni@Inria.fr> | 2022-07-05 15:51:04 +0200 |
---|---|---|
committer | Guillaume Munch-Maccagnoni <Guillaume.Munch-Maccagnoni@inria.fr> | 2022-07-21 22:48:39 +0200 |
commit | 47511a2cec476ebd9c0b9c686e55ab99ed6dade2 (patch) | |
tree | ea0a33b4441860d2a2d9a49dfaf8b32f78f7ebaf /otherlibs | |
parent | f0448c6eb30f8b4e854f218b838546b3db7b3ca6 (diff) | |
download | ocaml-47511a2cec476ebd9c0b9c686e55ab99ed6dade2.tar.gz |
Quick fix for the multiplication of tick threads
Diffstat (limited to 'otherlibs')
-rw-r--r-- | otherlibs/systhreads/st_stubs.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/otherlibs/systhreads/st_stubs.c b/otherlibs/systhreads/st_stubs.c index 9dc52c5bb0..20dce7743f 100644 --- a/otherlibs/systhreads/st_stubs.c +++ b/otherlibs/systhreads/st_stubs.c @@ -407,7 +407,6 @@ CAMLprim value caml_thread_initialize_domain(value v) st_tls_set(caml_thread_key, new_thread); Active_thread = new_thread; - Tick_thread_running = 0; CAMLreturn(Val_unit); } |