Also destroy the alloc_lock mutex
commit63658515ce5134997f57125b0f7b8a09ee57e72d
authorJonas Claeson <jonas.cl@protonmail.com>
dateSat 23 Mar 2019, 10:47 (8 years ago)
parent73e0a98
rts/idris_rts.c+1
@@ -141,6 +141,7 @@ Stats terminate(VM* vm) {
141141#ifdef HAS_PTHREAD
142142 pthread_mutex_destroy(&(vm -> inbox_lock));
143143 pthread_mutex_destroy(&(vm -> inbox_block));
144+ pthread_mutex_destroy(&(vm->alloc_lock));
144145 pthread_cond_destroy(&(vm -> inbox_waiting));
145146#endif
146147 // free(vm);