diff --git a/src/system.c b/src/system.c index 985f737..c7bdae6 100644 --- a/src/system.c +++ b/src/system.c @@ -594,11 +594,13 @@ roleInstance (const System sys, const Protocol protocol, const Role role, fromlist = termlistAdd (fromlist, oldt); tolist = termlistAdd (tolist, newt); - eprintf ("Created for run %i: ", rid); - termPrint (oldt); - eprintf (" -> "); - termPrint (newt); - eprintf ("\n"); + /* + eprintf ("Created for run %i: ", rid); + termPrint (oldt); + eprintf (" -> "); + termPrint (newt); + eprintf ("\n"); + */ scanfrom = scanfrom->next; } @@ -696,14 +698,6 @@ roleInstanceDestroy (const System sys) Termlist artefacts; // Remove artefacts artefacts = myrun.artefacts; - while (artefacts != NULL) - { - eprintf ("Artefact term to delete: "); - termPrint (artefacts->term); - eprintf ("\n"); - artefacts = artefacts->next; - } - artefacts = myrun.artefacts; while (artefacts != NULL) { memFree (artefacts->term, sizeof (struct term));