model-checker : fix (again ..) DPOR for iSend/iRecv and Wait communications

[simgrid.git] / src / simix / smx_network.c

diff --git a/src/simix/smx_network.c b/src/simix/smx_network.c
index 3cdc13b..2c0e3a1 100644 (file)
--- a/src/simix/smx_network.c
+++ b/src/simix/smx_network.c
@@ -199,6 +199,7 @@ smx_action_t SIMIX_fifo_get_comm(xbt_fifo_t fifo, e_smx_comm_type_t type,
       xbt_fifo_remove_item(fifo, item);
       xbt_fifo_free_item(item);
       action->comm.refcount++;
+      action->comm.rdv_cpy = action->comm.rdv;
       action->comm.rdv = NULL;
       return action;
     }