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

--- ai12s/ai12-0351-1.txt	2020/01/17 05:59:20	1.3
+++ ai12s/ai12-0351-1.txt	2020/01/24 06:02:09	1.4
@@ -99,6 +99,22 @@
 property by putting the static compatibility requirement into the lead-in 
 text.
 
+!corrigendum 12.5.1(7)
+
+@drepl
+For a generic formal derived type with no @fa<discriminant_part>: 
+@dby
+For a generic formal derived type with no @fa<discriminant_part>, the actual 
+subtype shall be statically compatible with the ancestor subtype. Furthermore: 
+
+!corrigendum 12.5.1(8)
+
+@drepl
+If the ancestor subtype is constrained, the actual subtype shall be constrained,
+and shall be statically compatible with the ancestor; 
+@dby
+If the ancestor subtype is constrained, the actual subtype shall be constrained; 
+
 !ASIS
 
 No ASIS effect.