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)); } }