andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

- Removed some obsolete commenting.

Browse Source
This commit is contained in:
ccremers 2004-08-12 12:03:20 +00:00
parent 7df10cf568
commit 2005aa929e
1 changed files with 7 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
src/system.c
View File

@ -594,11 +594,13 @@ roleInstance (const System sys, const Protocol protocol, const Role role,
fromlist = termlistAdd (fromlist, oldt); fromlist = termlistAdd (fromlist, oldt);
tolist = termlistAdd (tolist, newt); tolist = termlistAdd (tolist, newt);
eprintf ("Created for run %i: ", rid); /*
termPrint (oldt); eprintf ("Created for run %i: ", rid);
eprintf (" -> "); termPrint (oldt);
termPrint (newt); eprintf (" -> ");
eprintf ("\n"); termPrint (newt);
eprintf ("\n");
*/
scanfrom = scanfrom->next; scanfrom = scanfrom->next;
} }
@ -696,14 +698,6 @@ roleInstanceDestroy (const System sys)
Termlist artefacts; Termlist artefacts;
// Remove artefacts // Remove artefacts
artefacts = myrun.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) while (artefacts != NULL)
{ {
memFree (artefacts->term, sizeof (struct term)); memFree (artefacts->term, sizeof (struct term));