X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/85b1e794f37ae5b1891444f53b9b6cc8faee4f0b..353e4c084db3c0a55663e4121ca20112b44de6d4:/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;