- state_dst = xbt_automaton_state_exists(automaton, id_state);
- xbt_state_t state_src = xbt_automaton_state_exists(automaton, state_id_src);
+ state_dst = xbt_automaton_state_exists(parsed_automaton, id_state);
+ xbt_state_t state_src = xbt_automaton_state_exists(parsed_automaton, state_id_src);