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

--- ai12s/ai12-0352-1.txt	2020/01/17 05:51:53	1.2
+++ ai12s/ai12-0352-1.txt	2020/01/18 05:07:01	1.3
@@ -94,6 +94,25 @@
 to Priv and not to Basic_Record. Thus, we make the early derivation "trick"
 illegal, as it is at least as likely to be a surprise as intended behavior.
 
+!corrigendum 4.5.2(9.8/4)
+
+@drepl
+If the profile of an explicitly declared primitive equality operator of an
+untagged record type is type conformant with that of the corresponding
+predefined equality operator, the declaration shall occur before the type is
+frozen. In addition to the places where Legality Rules normally apply (see
+12.3), this rule applies also in the private part of an instance of a generic
+unit. 
+@dby
+If the profile of an explicitly declared primitive equality operator of an
+untagged record type is type conformant with that of the corresponding
+predefined equality operator, the declaration shall occur before the type is
+frozen. In addition, no type shall have been derived from the untagged
+record type before the declaration of the primitive equality operator.
+In addition to the places where Legality Rules normally apply (see
+12.3), this rule applies also in the private part of an instance of a generic
+unit. 
+
 !ASIS
 
 No ASIS effect.