default:
XBT_DEBUG("Invalid type: %d", type);
xbt_free(label);
+ label = NULL;
break;
}
va_end(ap);
return a->transitions;
}
-xbt_automaton_transition_t xbt_automaton_get_transition(xbt_automaton_t XBT_ATTRIB_UNUSED a, xbt_automaton_state_t src,
+xbt_automaton_transition_t xbt_automaton_get_transition(XBT_ATTRIB_UNUSED xbt_automaton_t a, xbt_automaton_state_t src,
xbt_automaton_state_t dst)
{
xbt_automaton_transition_t transition;