[sv-ac] RE: changes to 2150

Hi John, 

I just realized that I can not update the new proposal on Mantis as it
is already resolved and I do not have permission to change it.

Thanks.
Manisha

-----Original Message-----
From: John Havlicek [mailto:john.havlicek@freescale.com] 
Sent: Tuesday, February 26, 2008 11:12 PM
To: Kulshrestha, Manisha
Cc: sv-ac@eda.org
Subject: changes to 2150

Change:

The action block of an assert statement shall not refer to an
automatic variable, other than a loop control variable, declared
outside of the action block.

To

The action block of an assert statement shall not refer to an
automatic variable declared outside of the action block, other than a
loop control variable.


Also change two other similar sentences (with assume and pass).

J.H.

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