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

Differences between 1.2 and version 1.3
Log of other versions for file ai12s/ai12-0431-1.txt

--- ai12s/ai12-0431-1.txt	2021/06/03 02:16:53	1.2
+++ ai12s/ai12-0431-1.txt	2021/06/08 05:46:03	1.3
@@ -1,5 +1,7 @@
-!standard H.7(7/5)                                  21-06-02  AI12-0431-1/02
+!standard H.7(7/5)                                  21-06-07  AI12-0431-1/03
 !class Amendment 21-05-28
+!status Amendment 1-2012 21-06-07
+!status ARG Approved 12-0-2  21-06-03
 !status work item 21-05-28
 !status received 21-05-28
 !priority Low
@@ -37,6 +39,12 @@
 This is only a partial solution to the problem posed: it does not fix the issue
 issue for confirming predicates of a subtype_declaration. That would be more
 complex as one would need some sort of expression conformance to do that.
+
+!corrigendum H.7(0)
+
+@dinsc
+See the conflict file for the changes.
+
 
 !ASIS
 

Questions? Ask the ACAA Technical Agent