From 053a76e5fb660ad67d311fcbfdcdb8f3b12198ff Mon Sep 17 00:00:00 2001
From: gijs <gijs@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Wed, 31 Aug 2005 13:17:54 +0000
Subject: [PATCH] - oops forgot to update 1 message, we really need some option
 to check   input files for correctness (i.e. will it finish without an
 intruder)

---
 spdl/SPORE/wmf-lowe.spdl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spdl/SPORE/wmf-lowe.spdl b/spdl/SPORE/wmf-lowe.spdl
index 2663cbc..9576457 100644
--- a/spdl/SPORE/wmf-lowe.spdl
+++ b/spdl/SPORE/wmf-lowe.spdl
@@ -80,7 +80,7 @@ protocol wmf-Lowe(I,R,S)
         var Ti: TimeStamp;
 
         read_1(I,S, I,{Ti, R, Kir}k(I,S) );
-        send_2(S,R, {S,Ts, I, Kir}k(R,S));
+        send_2(S,R, {Ts, I, Kir}k(R,S));
     }
 }