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