Draft fix for the bug in R748 that ais523 pointed out:

{

Amend Rule 478 by replacing "Allowing actions performed by sending a
message to take place simultaneously must be done explicitly and is
secured at power 2." with "Allowing regulated actions performed by
sending a message to take place simultaneously must be done explicitly
and is secured at power 2. Where no order is explicitly given in a
message, a reasonable order is to be inferred where possible instead of
assuming simultaneity."

}

-- 
Janet Cobb

Assessor, Rulekeepor, S​tonemason

Reply via email to