From b349b6cef27e1fecb9b1e56ef99068e9d8a7c003 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Sat, 28 Aug 2004 12:42:11 +0000
Subject: [PATCH] - More improvements to the dot output.

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

diff --git a/src/arachne.c b/src/arachne.c
index 7ce464a..5830a5a 100644
--- a/src/arachne.c
+++ b/src/arachne.c
@@ -670,7 +670,14 @@ dotSemiState ()
   {
     if (sys->runs[run].protocol == INTRUDER)
       {
-	eprintf ("i%i", run);
+	if (sys->runs[run].role == I_M)
+	  {
+	    eprintf ("m0");
+	  }
+	else
+	  {
+	    eprintf ("i%i", run);
+	  }
       }
     else
       {
@@ -776,9 +783,15 @@ dotSemiState ()
 	  // INTRUDER run
 	  eprintf ("\t");
 	  node (run, 0);
-	  eprintf (" [label=\"");
-	  termPrint (sys->runs[run].role->nameterm);
-	  eprintf ("\"];\n");
+	  if (sys->runs[run].role == I_M)
+	    {
+	      eprintf (" [label=\"M0\"]");
+	    }
+	  else
+	    {
+	      eprintf (" [shape=point]");
+	    }
+	  eprintf (";\n");
 	}
       run++;
     }