[sv-cc] [sv-ac] 16.14.8 Nonvacuous evaluations q), editing change, delete the superfluous "that"

16.14.8 Nonvacuous evaluations
Should read without the superfluous "that", as done in "r" for the s_always
CHANGE:

q) An evaluation attempt of a property of the form
always[cycle_delay_const_range_expression]

property_expr is nonvacuous if, and only if, there is a clock event within
the range specified by cycle_delay_const_range_expression, in which the
evaluation attempt of property_expr is nonvacuous, and the property_expr
does not fail in prior clock events *that *within the range specified by
cycle_delay_const_range_expression.

TO:

q) An evaluation attempt of a property of the form
always[cycle_delay_const_range_expression]

property_expr is nonvacuous if, and only if, there is a clock event within
the range specified by cycle_delay_const_range_expression, in which the
evaluation attempt of property_expr is nonvacuous, and the property_expr
does not fail in prior clock events *that** *within the range specified by
cycle_delay_const_range_expression.

Do we need a mantis for this?
Ben Cohen

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