From 93ab6a29f402811c3c195a47fbbbaea997a2f8b7 Mon Sep 17 00:00:00 2001 From: ccremers Date: Thu, 9 Dec 2004 15:45:14 +0000 Subject: [PATCH] - Omitted some addnew tests, although they ought to work. --- src/system.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/system.c b/src/system.c index 8b8fd91..9ed2f7a 100644 --- a/src/system.c +++ b/src/system.c @@ -688,8 +688,8 @@ roleInstanceArachne (const System sys, const Protocol protocol, * Thus, it needs a local copy. */ newt = makeTermType (VARIABLE, TermSymb (newt), rid); - artefacts = termlistAddNew (artefacts, newt); newt->stype = oldt->stype; + artefacts = termlistAddNew (artefacts, newt); } /* Now we add any role names to the agent list. Note that * instantiations do not matter: because if the variable is @@ -757,7 +757,7 @@ roleInstanceArachne (const System sys, const Protocol protocol, artefacts = termlistAddNew (artefacts, newt); if (realTermVariable (newt)) { - sys->variables = termlistAddNew (sys->variables, newt); + sys->variables = termlistAdd (sys->variables, newt); } fromlist = termlistAdd (fromlist, t); tolist = termlistAdd (tolist, newt);