X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/0103c4dd80e891446e3b64e6647c3b6467192806..bbfde1ef5427e4e7e84ca8d38aff13507947c194:/src/mc/mc_dfs.c

diff --git a/src/mc/mc_dfs.c b/src/mc/mc_dfs.c
index af28bba7c0..d578540631 100644
--- a/src/mc/mc_dfs.c
+++ b/src/mc/mc_dfs.c
@@ -26,7 +26,7 @@ void MC_dfs_init()
   xbt_setset_add(initial_state->enabled_transitions, initial_state->transitions);
   xbt_setset_foreach(initial_state->enabled_transitions, cursor, trans){
     if(trans->type == mc_wait
-       && (trans->comm->src_proc == NULL || trans->comm->dst_proc == NULL)){
+       && (trans->wait.comm->src_proc == NULL || trans->wait.comm->dst_proc == NULL)){
       xbt_setset_set_remove(initial_state->enabled_transitions, trans);
     }
   }
@@ -107,7 +107,7 @@ void MC_dfs(void)
       xbt_setset_add(next_state->enabled_transitions, next_state->transitions);
       xbt_setset_foreach(next_state->enabled_transitions, cursor, trans){
         if(trans->type == mc_wait
-           && (trans->comm->src_proc == NULL || trans->comm->dst_proc == NULL)){
+           && (trans->wait.comm->src_proc == NULL || trans->wait.comm->dst_proc == NULL)){
           xbt_setset_set_remove(next_state->enabled_transitions, trans);
         }
       }