fix: pthread NULL not required

pull/113/head
Guenael 2021-12-23 17:54:28 -05:00
rodzic 9410fd04c2
commit 56fd3dd178
1 zmienionych plików z 0 dodań i 1 usunięć

Wyświetl plik

@ -1133,7 +1133,6 @@ int main(int argc, char **argv) {
/* Destroy the lock/cond/thread */
pthread_cond_destroy(&decState.ready_cond);
pthread_mutex_destroy(&decState.ready_mutex);
pthread_exit(NULL);
printf("Bye!\n");