From 2005aa929efb6c2d5dd8baeefcec21fd3b61e5dc Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Thu, 12 Aug 2004 12:03:20 +0000
Subject: [PATCH] - Removed some obsolete commenting.

---
 src/system.c | 20 +++++++-------------
 1 file changed, 7 insertions(+), 13 deletions(-)

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));