X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/7bc4a90371437faf0fcd3268a8221edfcf4cc7ef..12755512ab785b31d6a0789317fe5302fc2fe019:/src/mc/mc_global.c diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c index 985dba9e2e..d520ffb0d2 100644 --- a/src/mc/mc_global.c +++ b/src/mc/mc_global.c @@ -337,7 +337,7 @@ int MC_deadlock_check() if (xbt_swag_size(simix_global->process_list)) { deadlock = TRUE; xbt_swag_foreach(process, simix_global->process_list) { - if (MC_request_is_enabled(&process->simcall)) { + if (MC_process_is_enabled(process)) { deadlock = FALSE; break; }