X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/9b7c007d68cc9aabd52746479c68a8287a087fe3..7bc4a90371437faf0fcd3268a8221edfcf4cc7ef:/src/mc/mc_client.c

diff --git a/src/mc/mc_client.c b/src/mc/mc_client.c
index da8d8c41a4..62c57338bd 100644
--- a/src/mc/mc_client.c
+++ b/src/mc/mc_client.c
@@ -77,8 +77,7 @@ void MC_client_handle_messages(void)
     char message_buffer[MC_MESSAGE_LENGTH];
     size_t s;
     if ((s = recv(mc_client->fd, &message_buffer, sizeof(message_buffer), 0)) == -1)
-      xbt_die("Could not receive commands from the model-checker: %s",
-        strerror(errno));
+      xbt_die("Could not receive commands from the model-checker");
 
     XBT_DEBUG("Receive message from model-checker");
     s_mc_message_t message;