From eb948b80093a1d73d1b072b1523e29925c9acd05 Mon Sep 17 00:00:00 2001 From: gijs Date: Thu, 7 Jul 2005 14:03:48 +0000 Subject: [PATCH] - Fix a small modelling error in wmf-lowe --- 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 2228d50..58bc0a5 100644 --- a/spdl/SPORE/wmf-lowe.spdl +++ b/spdl/SPORE/wmf-lowe.spdl @@ -79,7 +79,7 @@ protocol wmfLowe(I,R,S) var Ti: TimeStamp; read_1(I,S, I,{I,Ti, R, Kir}k(I,S) ); - send_2(S,R, {R,Ts, I, Kir}k(R,S)); + send_2(S,R, {S,Ts, I, Kir}k(R,S)); } }