From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Mon, 5 Aug 2013 13:28:04 +0000 (+0200)
Subject: model-checker : remove dead code
X-Git-Tag: v3_9_90~128^2~41
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/055747c669087313b6b27ccf89c990f14f5b8098

model-checker : remove dead code
---

diff --git a/examples/msg/mc/bugged2_liveness.c b/examples/msg/mc/bugged2_liveness.c
index 7117b49b79..26f2b31ca3 100644
--- a/examples/msg/mc/bugged2_liveness.c
+++ b/examples/msg/mc/bugged2_liveness.c
@@ -35,7 +35,6 @@ int coordinator(int argc, char *argv[])
         XBT_INFO("CS already used.");
         msg_task_t answer = MSG_task_create("not grant", 0, 1000, NULL);
         MSG_task_send(answer, req);
-        MC_compare();
       } else {                  // can serve it immediatly
         XBT_INFO("CS idle. Grant immediatly");
         msg_task_t answer = MSG_task_create("grant", 0, 1000, NULL);