Removed another trampoline.

This commit is contained in:
Cas Cremers 2018-10-19 15:28:51 -04:00
parent 26bf502428
commit d4c188659c

View File

@ -1638,17 +1638,16 @@ compute_role_variables (const System sys, Protocol p, Role r)
{ {
// Not computed before, for some reason // Not computed before, for some reason
Termlist tl; Termlist tl;
Roledef rd;
int process_event (Roledef rd)
tl = NULL;
for (rd = r->roledef; rd != NULL; rd = rd->next)
{ {
tl = termlistAddVariables (tl, rd->from); tl = termlistAddVariables (tl, rd->from);
tl = termlistAddVariables (tl, rd->to); tl = termlistAddVariables (tl, rd->to);
tl = termlistAddVariables (tl, rd->message); tl = termlistAddVariables (tl, rd->message);
return 1;
} }
tl = NULL;
roledef_iterate_events (r->roledef, process_event);
r->variables = tl; r->variables = tl;
/* /*