From ab695d4806ab6096bc0bf1b669cbc14d63e50bc3 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Mon, 19 Jun 2017 14:13:22 +0200 Subject: [PATCH] plug a memleak --- examples/msg/synchro-semaphore/synchro-semaphore.c | 1 + 1 file changed, 1 insertion(+) diff --git a/examples/msg/synchro-semaphore/synchro-semaphore.c b/examples/msg/synchro-semaphore/synchro-semaphore.c index d91e546767..f4312d8493 100644 --- a/examples/msg/synchro-semaphore/synchro-semaphore.c +++ b/examples/msg/synchro-semaphore/synchro-semaphore.c @@ -67,6 +67,7 @@ int main(int argc, char* argv[]) MSG_process_create_with_arguments("Bob", peer, NULL, h, 8, bobTimes); msg_error_t res = MSG_main(); + MSG_sem_destroy(sem); XBT_INFO("Finished\n"); return (res != MSG_OK); } -- 2.20.1