From 071b9bd7351363f811f853420bbcb78938fc509c Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Sun, 15 Aug 2004 17:16:13 +0000
Subject: [PATCH] - Improved semistate printing.

---
 src/arachne.c | 21 +++++++++++++++++++--
 1 file changed, 19 insertions(+), 2 deletions(-)

diff --git a/src/arachne.c b/src/arachne.c
index d60dcd6..b72bb6d 100644
--- a/src/arachne.c
+++ b/src/arachne.c
@@ -415,11 +415,26 @@ printSemiState ()
   for (run = 0; run < sys->maxruns; run++)
     {
       int index;
+      Role r;
       Roledef rd;
+      Term oldagent;
 
+      indentPrint ();
+      eprintf ("!!\n");
       indentPrint ();
       eprintf ("!! [ Run %i, ", run);
-      termPrint (sys->runs[run].role->nameterm);
+      termPrint (sys->runs[run].protocol->nameterm);
+      eprintf (", ");
+      r = sys->runs[run].role;
+      oldagent = r->nameterm->subst;
+      r->nameterm->subst = NULL;
+      termPrint (r->nameterm);
+      r->nameterm->subst = oldagent;
+      if (oldagent != NULL)
+	{
+	  eprintf (": ");
+	  termPrint (oldagent);
+	}
       eprintf (" ]\n");
 
       index = 0;
@@ -437,6 +452,8 @@ printSemiState ()
 	}
     }
   indentPrint ();
+  eprintf ("!!\n");
+  indentPrint ();
   eprintf ("!! - open: %i -\n", open);
 }
 
@@ -706,7 +723,7 @@ bind_goal_intruder (const Goal goal)
 	{
 	  // This seems to work
 	  flag = flag && iterate ();
-          termlistSubstReset (substlist);
+	  termlistSubstReset (substlist);
 	}
       tl = tl->next;
     }