X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/96cedde3cdbc0b8ffc3f096a1b65d021b0226f99..60211815916d3fd883c13c8bee9cb6d3ce3d2974:/teshsuite/mc/mutex-handling/mutex-handling.c

diff --git a/teshsuite/mc/mutex-handling/mutex-handling.c b/teshsuite/mc/mutex-handling/mutex-handling.c
index 2c4ce3f6e8..ca13fd7995 100644
--- a/teshsuite/mc/mutex-handling/mutex-handling.c
+++ b/teshsuite/mc/mutex-handling/mutex-handling.c
@@ -30,7 +30,7 @@ XBT_LOG_NEW_DEFAULT_CATEGORY(msg_test, "Messages specific for this msg example")
 static xbt_mutex_t mutex = NULL;
 #endif
 
-static int receiver(int argc, char *argv[])
+static int receiver(XBT_ATTRIB_UNUSED int argc, XBT_ATTRIB_UNUSED char* argv[])
 {
   msg_task_t task = NULL;
 
@@ -47,6 +47,7 @@ static int receiver(int argc, char *argv[])
 
 static int sender(int argc, char *argv[])
 {
+  xbt_assert(argc == 2);
   char* message_name = argv[1];
 #ifndef DISABLE_THE_MUTEX
   xbt_mutex_acquire(mutex);