X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/477803ce8d1dd56ab650ff948266bc201cfceca9..60211815916d3fd883c13c8bee9cb6d3ce3d2974:/examples/deprecated/msg/mc/bugged1_liveness.c

diff --git a/examples/deprecated/msg/mc/bugged1_liveness.c b/examples/deprecated/msg/mc/bugged1_liveness.c
index 95880ebc84..8fd8490502 100644
--- a/examples/deprecated/msg/mc/bugged1_liveness.c
+++ b/examples/deprecated/msg/mc/bugged1_liveness.c
@@ -34,7 +34,7 @@ static void garbage_stack(void) {
 }
 #endif
 
-static int coordinator(int argc, char *argv[])
+static int coordinator(XBT_ATTRIB_UNUSED int argc, XBT_ATTRIB_UNUSED char* argv[])
 {
   int CS_used          = 0;
   msg_task_t task      = NULL;
@@ -84,6 +84,7 @@ static int coordinator(int argc, char *argv[])
 
 static int client(int argc, char *argv[])
 {
+  xbt_assert(argc == 2);
   int my_pid = MSG_process_get_PID(MSG_process_self());
 
   char *my_mailbox = xbt_strdup(argv[1]);