@@ -141,6 +141,7 @@ Stats terminate(VM* vm) {
141#ifdef HAS_PTHREAD
141#ifdef HAS_PTHREAD
142 pthread_mutex_destroy(&(vm -> inbox_lock));
142 pthread_mutex_destroy(&(vm -> inbox_lock));
143 pthread_mutex_destroy(&(vm -> inbox_block));
143 pthread_mutex_destroy(&(vm -> inbox_block));
144+ pthread_mutex_destroy(&(vm->alloc_lock));
144 pthread_cond_destroy(&(vm -> inbox_waiting));
145 pthread_cond_destroy(&(vm -> inbox_waiting));
146 // free(vm);
147 // free(vm);