--- ai05s/ai05-0214-1.txt 2010/08/05 02:05:42 1.2 +++ ai05s/ai05-0214-1.txt 2010/08/20 04:07:17 1.3 @@ -37,7 +37,7 @@ Modify 3.7(9.1/2): No default_expressions are permitted in a known_discriminant_part in a - declaration of a {nonlimited} tagged type [or a generic formal type]. + declaration of a {nonlimited} tagged type Redundant[or a generic formal type]. Modify 3.7.2(3):