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

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

--- ai12s/ai12-0233-1.txt	2017/06/10 02:45:06	1.1
+++ ai12s/ai12-0233-1.txt	2017/06/10 04:24:23	1.2
@@ -1,6 +1,4 @@
-!standard 13.11(21)                                    17-06-09  AI12-0233-1/01
-!standard 13.11.4(21/3)
-!standard 13.11.4(31/3)
+!standard 6.1.1(38/4)                                  17-06-09  AI12-0233-1/01
 !class binding interpretation 17-06-09
 !status work item 17-06-09
 !status received 17-04-13
@@ -62,7 +60,7 @@
 
 !discussion
 
-The current wording of 6.1.1(38/4) says:
+6.1.1(38/4) says:
 
    "The class-wide precondition check for a call to a subprogram or entry S
    consists solely of checking the class-wide precondition expressions that

Questions? Ask the ACAA Technical Agent