From fa2af3dedb35548ab79246889996c3412aeb9365 Mon Sep 17 00:00:00 2001 From: Joshua Kriegshauser Date: Tue, 22 Aug 2023 13:12:54 -0700 Subject: [PATCH] Delete the key at shutdown --- src/prim/unix/prim.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/prim/unix/prim.c b/src/prim/unix/prim.c index 314281fe..d8ddc525 100644 --- a/src/prim/unix/prim.c +++ b/src/prim/unix/prim.c @@ -833,7 +833,7 @@ void _mi_prim_thread_init_auto_done(void) { } void _mi_prim_thread_done_auto_done(void) { - // nothing to do + pthread_key_delete(_mi_heap_default_key); } void _mi_prim_thread_associate_default_heap(mi_heap_t* heap) {