[m-rev.] diff: use require_switch_arms_det

[Zoltan Somogyi]

This is the situation that motivated the addition of
require_switch_arms_det to the language.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.req_det
Type: application/octet-stream
Size: 221 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20141219/653b91df/attachment.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.req_det
Type: application/octet-stream
Size: 4301 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20141219/653b91df/attachment-0001.obj>