From b22667a791df8b27a0a326b704f8cb4d9faa9aa9 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Thu, 29 Jul 2004 11:15:07 +0000
Subject: [PATCH] - Fixed termlist printing.

---
 src/system.c | 5 +++--
 src/term.h   | 7 ++-----
 2 files changed, 5 insertions(+), 7 deletions(-)

diff --git a/src/system.c b/src/system.c
index 00c9b47..0ad9d06 100644
--- a/src/system.c
+++ b/src/system.c
@@ -919,6 +919,7 @@ int compute_roleeventmax (const System sys)
 void
 runInstancePrint (const System sys, const int run)
 {
+  termPrint (sys->runs[run].role->nameterm);
   termlistPrint (sys->runs[run].agents);
 }
 
@@ -931,9 +932,9 @@ scenarioPrint (const System sys)
   for (run = 0; run < sys->maxruns; run++)
     {
       runInstancePrint (sys, run);
-      if (run < sys->maxruns - 2)
+      if (run < sys->maxruns - 1)
 	{
-          printf (", ");
+          printf ("\t");
 	}
     }
 }
diff --git a/src/term.h b/src/term.h
index faf5834..8cd64d6 100644
--- a/src/term.h
+++ b/src/term.h
@@ -3,11 +3,8 @@
 
 #include "symbol.h"
 
-#define	GLOBAL	 1
-#define VARIABLE 2
-#define LEAF	 3		// type <= LEAF means it's a leaf, nkay?
-#define	ENCRYPT  4
-#define	TUPLE	 5
+// type <= LEAF means it's a leaf, nkay?
+enum termtypes { GLOBAL, VARIABLE, LEAF, ENCRYPT, TUPLE };
 
 //! The most basic datatype in the modelchecker.
 /**