X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/2ec3725f7756a28b773b57cc0aebb907d97cf57e..3a1ea70a418f393ca1677074e928c664022295bd:/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 ed591b9870..c2487908d2 100644
--- 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)