CVS difference for ai12s/ai12-0367-1.txt

--- ai12s/ai12-0367-1.txt	2020/03/16 03:37:16	1.2
+++ ai12s/ai12-0367-1.txt	2020/03/25 03:01:38	1.3
@@ -96,6 +96,33 @@
 this problem, since the value is of a different type than the type being
 declared.
 
+!corrigendum 3.5.10(2/1)
+
+@drepl
+@xindent<S'Small denotes the @i<small> of the type of S. The value of this 
+attribute is of the type @i<universal_real>. Small may be specified for 
+nonderived ordinary fixed point types via an @fa<attribute_definition_clause>
+(see 13.3); the expression of such a clause shall be static.>
+@dby
+@xindent<S'Small denotes the @i<small> of the type of S. The value of this 
+attribute is of the type @i<universal_real>. Small may be specified for 
+nonderived ordinary fixed point types via an @fa<attribute_definition_clause>
+(see 13.3); the expression of such a clause shall be static and positive.>
+
+!corrigendum 13.14(10)
+
+@drepl
+@xbullet<At the place where an expression causes freezing, the type of the 
+expression is frozen, unless the expression is an enumeration literal used as 
+a @fa<discrete_choice> of the @fa<array_aggregate> of an 
+@fa<enumeration_representation_clause>.>
+@dby
+@xbullet<At the place where an expression causes freezing, the type of the 
+expression is frozen, unless the expression is an enumeration literal used as 
+a @fa<discrete_choice> of the @fa<array_aggregate> of an 
+@fa<enumeration_representation_clause> or as the @fa<aspect_definition> of a 
+specification for aspect Default_Value.>
+
 !ASIS
 
 No ASIS effect.