[sv-ac] trade 2871 for 2546

Hi Anupam:

Can you take 2871 in trade for 2546?

I think there just needs to be some explicit language added somewhere
that forbids reference to local variables in clocking event expressions.

J.H.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.