From 8f016375283a9a1d21be21861a641af24d96677d Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Wed, 20 Aug 2008 16:16:18 +0200
Subject: [PATCH] Output should also yield 'recv' instead of 'read'.

---
 src/dotout.c | 2 +-
 src/role.c   | 6 +++---
 src/xmlout.c | 2 +-
 3 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/dotout.c b/src/dotout.c
index 3cccff8..26b77ff 100644
--- a/src/dotout.c
+++ b/src/dotout.c
@@ -283,7 +283,7 @@ roledefDraw (Roledef rd)
 
   if (rd->type == READ)
     {
-      eprintf ("read");
+      eprintf ("recv");
       optlabel ();
       eprintf (" from ");
       termPrintRemap (rd->from);
diff --git a/src/role.c b/src/role.c
index d62d711..31e0e7b 100644
--- a/src/role.c
+++ b/src/role.c
@@ -63,7 +63,7 @@ roledefPrintGeneric (Roledef rd, int print_actor)
       return;
     }
   if (rd->type == READ)
-    eprintf ("READ");
+    eprintf ("RECV");
   if (rd->type == SEND)
     eprintf ("SEND");
   if (rd->type == CLAIM)
@@ -475,7 +475,7 @@ WellFormedEvent (Term role, Knowledge know, Roledef rd)
       // Read
       if (!isTermEqual (role, rd->to))
 	{
-	  wfeError (know, rd, "Reading role incorrect.", rd->to, role);
+	  wfeError (know, rd, "Receiving role incorrect.", rd->to, role);
 	  return NULL;
 	}
       if (!inKnowledge (know, rd->from))
@@ -503,7 +503,7 @@ WellFormedEvent (Term role, Knowledge know, Roledef rd)
 	}
       if (!inKnowledge (know, rd->to))
 	{
-	  wfeError (know, rd, "Unknown reading role.", rd->to, NULL);
+	  wfeError (know, rd, "Unknown receiving role.", rd->to, NULL);
 	  return NULL;
 
 	}
diff --git a/src/xmlout.c b/src/xmlout.c
index 068d1ca..22100c6 100644
--- a/src/xmlout.c
+++ b/src/xmlout.c
@@ -546,7 +546,7 @@ xmlOutEvent (const System sys, Roledef rd, const int run, const int index)
        * Currently, choose events are not distinguished yet. TODO
        */
     case READ:
-      eprintf ("read");
+      eprintf ("recv");
       break;
     case SEND:
       eprintf ("send");