Fix Manifest.in

[simgrid.git] / examples / sthread / pthread-mutex-simple.c

diff --git a/examples/sthread/pthread-mutex-simple.c b/examples/sthread/pthread-mutex-simple.c
index d46d75a..1d39141 100644 (file)
--- a/examples/sthread/pthread-mutex-simple.c
+++ b/examples/sthread/pthread-mutex-simple.c
@@ -21,12 +21,14 @@ int main(int argc, char* argv[])
   int id[2] = {0, 1};
   pthread_t thread1;
   pthread_t thread2;
-  pthread_create(&thread1, NULL, thread_fun, (void*)&id[0]);
-  pthread_create(&thread2, NULL, thread_fun, (void*)&id[1]);
+  pthread_create(&thread1, NULL, thread_fun, &id[0]);
+  pthread_create(&thread2, NULL, thread_fun, &id[1]);
   fprintf(stderr, "All threads are started.\n");
   pthread_join(thread1, NULL);
   pthread_join(thread2, NULL);
 
+  pthread_mutex_destroy(&mutex);
+
   fprintf(stderr, "User's main is terminating.\n");
   return 0;
 }