X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/743c2c7fedb05cdd99b35368f15483dfb33790ee..056d48c9fa3d5fa5afd2be695f54edbc5fd5434d:/examples/msg/mc/bugged2_liveness.c diff --git a/examples/msg/mc/bugged2_liveness.c b/examples/msg/mc/bugged2_liveness.c index da785bb23f..2310f28163 100644 --- a/examples/msg/mc/bugged2_liveness.c +++ b/examples/msg/mc/bugged2_liveness.c @@ -12,7 +12,6 @@ #include "simgrid/msg.h" #include "mc/mc.h" -#include "xbt/automaton.h" #include "bugged2_liveness.h" XBT_LOG_NEW_DEFAULT_CATEGORY(bugged3, "my log messages"); @@ -33,8 +32,8 @@ static 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); - } else { // can serve it immediatly - XBT_INFO("CS idle. Grant immediatly"); + } else { // can serve it immediately + XBT_INFO("CS idle. Grant immediately"); msg_task_t answer = MSG_task_create("grant", 0, 1000, NULL); MSG_task_send(answer, req); CS_used = 1;