From 3b7cd6ba4403e9f2c5630d7b319a419e3a836595 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Wed, 15 May 2019 09:55:33 +0200
Subject: [PATCH] Fix new/delete mismatch.

---
 examples/s4u/mc-failing-assert/s4u-mc-failing-assert.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/s4u/mc-failing-assert/s4u-mc-failing-assert.cpp b/examples/s4u/mc-failing-assert/s4u-mc-failing-assert.cpp
index 3a4a8a8cc3..b87e6f44c2 100644
--- a/examples/s4u/mc-failing-assert/s4u-mc-failing-assert.cpp
+++ b/examples/s4u/mc-failing-assert/s4u-mc-failing-assert.cpp
@@ -20,7 +20,7 @@ static int server(int worker_amount)
   for (int count = 0; count < worker_amount; count++) {
     int* msg  = static_cast<int*>(mb->get());
     value_got = *msg;
-    free(msg);
+    delete msg;
   }
   /*
    * We assert here that the last message we got (which overwrite any previously received message) is the one from the
-- 
2.20.1