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

[simgrid.git] / src / mc / mc_private.h

diff --git a/src/mc/mc_private.h b/src/mc/mc_private.h
index 05336afc67f22217a4e4d07961b32db99b7f3247..a348722d461f94422e2febbe52b2316723f90a02 100644 (file)
--- a/src/mc/mc_private.h
+++ b/src/mc/mc_private.h
@@ -68,7 +68,7 @@ int is_stack_ignore_variable(char *frame, char *var_name);
 
 extern double *mc_time;
 extern FILE *dot_output;
-extern const char* colors[10];
+extern const char* colors[13];
 
 int MC_deadlock_check(void);
 void MC_replay(xbt_fifo_t stack, int start);