From 055747c669087313b6b27ccf89c990f14f5b8098 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Mon, 5 Aug 2013 15:28:04 +0200 Subject: [PATCH] model-checker : remove dead code --- examples/msg/mc/bugged2_liveness.c | 1 - 1 file changed, 1 deletion(-) 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); -- 2.20.1