X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/0c115a6acf7a0820225520e71d33497e7c525bb6..bf065245fc3ed66c5aaf14236aa13d1688591c96:/examples/s4u/platform-failures/s4u-platform-failures.cpp diff --git a/examples/s4u/platform-failures/s4u-platform-failures.cpp b/examples/s4u/platform-failures/s4u-platform-failures.cpp index c7a6378936..f52f8d627c 100644 --- a/examples/s4u/platform-failures/s4u-platform-failures.cpp +++ b/examples/s4u/platform-failures/s4u-platform-failures.cpp @@ -86,8 +86,8 @@ static int worker(int argc, char* argv[]) try { XBT_INFO("Waiting a message on %s", mailbox->get_cname()); payload = static_cast(mailbox->get()); - comp_size = *payload; xbt_assert(payload != nullptr, "mailbox->get() failed"); + comp_size = *payload; if (comp_size < 0) { /* - Exit when -1.0 is received */ XBT_INFO("I'm done. See you!"); delete payload;