[sv-ac] 1932

Hi Stuart,

 

There is a typo in mantis 1932.

 

At the page before the last is says:

 

On the last page (or so) it says:

 

| eventually property_expr

| eventually [constant_range] property_expr

| s_eventually[cycle_delay_const_range_expression] property_expr

 

While it should say

 

On the last page (or so) it says:

 

| s_eventually property_expr

| eventually [constant_range] property_expr

| s_eventually[cycle_delay_const_range_expression] property_expr

 

Thanks

 

Doron

---------------------------------------------------------------------
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.