From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Sat, 8 Jun 2013 17:15:17 +0000 (+0200)
Subject: model-checker : increase number of colors for dot output
X-Git-Tag: v3_9_90~306
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/d6a65df81f2d1263be4186890863302355cb59f9

model-checker : increase number of colors for dot output
---

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index 3381e9d605..7469068073 100644
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -120,7 +120,7 @@ extern xbt_dynar_t mc_heap_comparison_ignore;
 extern xbt_dynar_t stacks_areas;
 
 FILE *dot_output = NULL;
-const char* colors[10];
+const char* colors[13];
 
 xbt_automaton_t _mc_property_automaton = NULL;
 
diff --git a/src/mc/mc_private.h b/src/mc/mc_private.h
index 05336afc67..a348722d46 100644
--- 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);