RE: [sv-ac] Mantis 3295 - editorial

I don't think so.
This is an obvious typo.
But an updated version of the proposal should be posted.

Shalom

From: Kulshrestha, Manisha [mailto:Manisha_Kulshrestha@mentor.com]
Sent: Thursday, November 24, 2011 7:17 AM
To: Bresticker, Shalom; sv-ac@eda-stds.org
Subject: RE: [sv-ac] Mantis 3295 - editorial

Hi Dimitry,

Do we need another round of voting after this change ? This is purely an editorial change.

Thanks.
Manisha

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Bresticker, Shalom
Sent: Wednesday, November 23, 2011 10:00 PM
To: sv-ac@eda-stds.org
Subject: [sv-ac] Mantis 3295 - editorial

Hi,

In Mantis 3295, in the change to the BNF of assert_control_task at the bottom of page 1, there was a mistake in one place in changing list_of_modules_or_assertions to list_of_scopes_or_assertions. The correct version is shown below. I also made the coloring of the second alternative consistent with the first and third, using red bold for BNF terminals:

The TO: should be

assert_control_task ::=
  assert_task [ ( levels [ , list_of_modulesscopes_or_assertions ] ) ] ;
| assert_action_task [ ( levels [ , list_of_scopes_or_assertions ] ) ] ;
| $assertcontrol ( control_type [ , [ assertion_type ][ , [ directive_type ][ , [ levels ] [ , list_of_scopes_or_assertions]]]] ) ;

Regards.
Shalom

Shalom Bresticker
Intel LAD DA, Jerusalem, Israel
+972 2 589 6582 (office)
+972 54 721 1033 (cell)
http://www.linkedin.com/in/shalombresticker

---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

--
This message has been scanned for viruses and
dangerous content by MailScanner<http://www.mailscanner.info/>, and is
believed to be clean.
---------------------------------------------------------------------
Intel Israel (74) Limited
This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.
-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.