Please valgrind.

[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..d97bfe8 100644 (file)
--- a/examples/sthread/pthread-mutex-simple.c
+++ b/examples/sthread/pthread-mutex-simple.c
@@ -27,6 +27,8 @@ int main(int argc, char* argv[])
   pthread_join(thread1, NULL);
   pthread_join(thread2, NULL);
 
+  pthread_mutex_destroy(&mutex);
+
   fprintf(stderr, "User's main is terminating.\n");
   return 0;
 }