From d4c188659cd7295802f1b30d1af56ee35f336a5c Mon Sep 17 00:00:00 2001 From: Cas Cremers Date: Fri, 19 Oct 2018 15:28:51 -0400 Subject: [PATCH] Removed another trampoline. --- src/compiler.c | 15 +++++++-------- 1 file changed, 7 insertions(+), 8 deletions(-) diff --git a/src/compiler.c b/src/compiler.c index 39bb495..da2af09 100644 --- a/src/compiler.c +++ b/src/compiler.c @@ -1638,17 +1638,16 @@ compute_role_variables (const System sys, Protocol p, Role r) { // Not computed before, for some reason Termlist tl; + Roledef rd; - int process_event (Roledef rd) - { - tl = termlistAddVariables (tl, rd->from); - tl = termlistAddVariables (tl, rd->to); - tl = termlistAddVariables (tl, rd->message); - return 1; - } tl = NULL; - roledef_iterate_events (r->roledef, process_event); + for (rd = r->roledef; rd != NULL; rd = rd->next) + { + tl = termlistAddVariables (tl, rd->from); + tl = termlistAddVariables (tl, rd->to); + tl = termlistAddVariables (tl, rd->message); + } r->variables = tl; /*