X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/adcfb1a36dc3a193da6b595829fef2d7f4c9a4dd..e0300cbd373040c590de77e64cc6c6e5fc3c28bb:/src/mc/mc_state.h

diff --git a/src/mc/mc_state.h b/src/mc/mc_state.h
index 863a21a09f..a60464b58d 100644
--- a/src/mc/mc_state.h
+++ b/src/mc/mc_state.h
@@ -47,7 +47,8 @@ typedef struct mc_state {
   mc_snapshot_t system_state;      /* Snapshot of system state */
   int num;
   int in_visited_states;
-  xbt_dynar_t incomplete_comm_pattern; // comm determinism verification
+  // comm determinism verification (xbt_dynar_t<xbt_dynar_t<mc_comm_pattern_t>):
+  xbt_dynar_t incomplete_comm_pattern;
   xbt_dynar_t index_comm; // comm determinism verification
 } s_mc_state_t, *mc_state_t;