- Fix a small modelling error in wmf-lowe

2005-07-07 14:03:48 +00:00 · 2005-07-07 14:03:48 +00:00 · eb948b8009
commit eb948b8009
parent f7f2bf27bb
1 changed files with 1 additions and 1 deletions
--- 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));
    }
 }