CVS difference for ai05s/ai05-0158-1.txt

Differences between 1.16 and version 1.17
Log of other versions for file ai05s/ai05-0158-1.txt

--- ai05s/ai05-0158-1.txt	2011/09/29 06:34:02	1.16
+++ ai05s/ai05-0158-1.txt	2011/11/01 05:32:52	1.17
@@ -282,7 +282,7 @@
 of the @fa<membership_choice_list>. Either all @fa<membership_choice>s of the
 @fa<membership_choice_list> shall resolve to the same type, which is the tested type; or
 each @fa<membership_choice> shall be of an elementary type, and the tested type
-shall be covered by each of these elementary types.>
+shall be covered by each of these elementary types.
 
 If the tested type is tagged, then the @fa<simple_expression> shall
 resolve to be of a type that is convertible (see 4.6) to the tested
@@ -357,13 +357,13 @@
 @drepl
 @xbullet<a membership test whose @fa<simple_expression> is a static expression,
 and whose @fa<range> is a static range or whose @fa<subtype_mark> denotes a
-static [(scalar or string)] subtype;>
+static (scalar or string) subtype;>
 @dby
 @xbullet<a membership test whose @fa<simple_expression> is a static expression,
 and whose @fa<membership_choice_list> consists only of @fa<membership_choice>s
 each of which is either a static @fa<choice_expression>, a static @fa<range>,
-or a @fa<subtype_mark> that denotes a static [(scalar or
-string)] subtype;>
+or a @fa<subtype_mark> that denotes a static (scalar or
+string) subtype;>
 
 !corrigendum 4.9(33)
 !comment The following is just to force a conflict; the real wording is in the

Questions? Ask the ACAA Technical Agent