Test is normally always true: replace by an assert.

diff --git a/examples/cpp/mc-bugged1-liveness/s4u-mc-bugged1-liveness.cpp b/examples/cpp/mc-bugged1-liveness/s4u-mc-bugged1-liveness.cpp
index f5e9f2c..fa15f3f 100644 (file)
--- a/examples/cpp/mc-bugged1-liveness/s4u-mc-bugged1-liveness.cpp
+++ b/examples/cpp/mc-bugged1-liveness/s4u-mc-bugged1-liveness.cpp
@@ -101,8 +101,9 @@ static void client(int id)
     }
 
     auto grant = my_mailbox->get_unique<Message>();
+    xbt_assert(grant->kind == Message::Kind::GRANT);
 
-    if ((id == 1) && (grant->kind == Message::Kind::GRANT)) {
+    if (id == 1) {
       cs = 1;
       r  = 0;
       XBT_INFO("Propositions changed : r=0, cs=1");