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

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

--- ai12s/ai12-0431-1.txt	2021/05/29 01:21:54	1.1
+++ ai12s/ai12-0431-1.txt	2021/06/03 02:16:53	1.2
@@ -1,4 +1,4 @@
-!standard H.7(7/5)                                  21-05-28  AI12-0431-1/01
+!standard H.7(7/5)                                  21-06-02  AI12-0431-1/02
 !class Amendment 21-05-28
 !status work item 21-05-28
 !status received 21-05-28
@@ -34,7 +34,7 @@
 
 !discussion
 
-This is only a partial solution to the problem posed: it does fix the issue
+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.
 

Questions? Ask the ACAA Technical Agent