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);