Removed one more.

This commit is contained in:
Cas Cremers 2018-10-19 15:46:48 -04:00
parent 6ee81d304d
commit fe2bc26e71

View File

@ -2216,8 +2216,11 @@ checkRoleVariables (const System sys, const Protocol p, const Role r)
{
Termlist vars;
Termlist declared;
Roledef rd;
int process_event (Roledef rd)
/* Gather all variables occurring in the recvs */
vars = NULL;
for (rd = r->roledef; rd != NULL; rd = rd->next)
{
if (rd->type == RECV)
{
@ -2225,13 +2228,8 @@ checkRoleVariables (const System sys, const Protocol p, const Role r)
vars = termlistAddVariables (vars, rd->to);
vars = termlistAddVariables (vars, rd->message);
}
return 1;
}
/* Gather all variables occurring in the recvs */
vars = NULL;
roledef_iterate_events (r->roledef, process_event);
/* Now, all variables for this role should be in the recvs */
declared = r->declaredvars;
while (declared != NULL)