Merge branch 'klement/simgrid-klement' into master

[simgrid.git] / teshsuite / mc / mutex-handling / mutex-handling.cpp

diff --git a/teshsuite/mc/mutex-handling/mutex-handling.cpp b/teshsuite/mc/mutex-handling/mutex-handling.cpp
index ed591b9..c248790 100644 (file)
--- a/teshsuite/mc/mutex-handling/mutex-handling.cpp
+++ b/teshsuite/mc/mutex-handling/mutex-handling.cpp
@@ -23,14 +23,13 @@
 #include "simgrid/s4u/Host.hpp"
 #include "simgrid/s4u/Mailbox.hpp"
 #include "simgrid/s4u/Mutex.hpp"
-#include <xbt/synchro.h>
 
 XBT_LOG_NEW_DEFAULT_CATEGORY(msg_test, "Messages specific for this msg example");
 
 static int receiver(const char* box_name)
 {
-  int* payload;
   auto mb = simgrid::s4u::Mailbox::by_name(box_name);
+  const int* payload;
 
   payload = static_cast<int*>(mb->get());
   MC_assert(*payload == 1);
@@ -45,7 +44,7 @@ static int receiver(const char* box_name)
 
 static int sender(const char* box_name, simgrid::s4u::MutexPtr mutex, int value)
 {
-  int* payload = new int(value);
+  auto* payload = new int(value);
   auto mb      = simgrid::s4u::Mailbox::by_name(box_name);
 
   if (mutex)