X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/8e4a3f0cfb4cce8161d15bd2f531bff6007f3ce5..23a620e6c6df0a9023991f607cb93b71ed8f6065:/examples/msg/mc/automaton.c

diff --git a/examples/msg/mc/automaton.c b/examples/msg/mc/automaton.c
index 475b8ca08f..f8bb33718f 100644
--- a/examples/msg/mc/automaton.c
+++ b/examples/msg/mc/automaton.c
@@ -268,7 +268,7 @@ xbt_state_t xbt_automaton_get_current_state(xbt_automaton_t a){
   return a->current_state;
 }
 
-xbt_propositional_symbol_t xbt_new_propositional_symbol(xbt_automaton_t a, char* id, void* fct){
+xbt_propositional_symbol_t xbt_new_propositional_symbol(xbt_automaton_t a, const char* id, void* fct){
   xbt_propositional_symbol_t prop_symb = NULL;
   prop_symb = xbt_new0(struct xbt_propositional_symbol, 1);
   prop_symb->pred = strdup(id);