X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/36246161381665fecb9a5a074b081d8d712f94e6..42cdb08adb14105f0a0398e9ede13ed3148cbcdc:/src/mc/private.h

diff --git a/src/mc/private.h b/src/mc/private.h
index 6dbfe044d0..a21924521c 100644
--- a/src/mc/private.h
+++ b/src/mc/private.h
@@ -79,6 +79,7 @@ typedef struct mc_procstate{
 typedef struct mc_state {
   unsigned long max_pid;            /* Maximum pid at state's creation time */
   mc_procstate_t proc_status;       /* State's exploration status by process */
+  s_smx_action_t internal_comm;     /* To be referenced by the internal_req */
   s_smx_req_t internal_req;         /* Internal translation of request */
   s_smx_req_t executed_req;         /* The executed request of the state */
   int req_num;                      /* The request number (in the case of a