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

--- ai12s/ai12-0405-1.txt	2020/12/19 08:31:08	1.6
+++ ai12s/ai12-0405-1.txt	2021/05/30 00:35:12	1.7
@@ -1,4 +1,4 @@
-!standard 6.1.2(19/5)                                  20-12-18  AI12-0405-1/04
+!standard 6.1.2(19/5)                                  21-05-20  AI12-0405-1/05
 !standard 7.3.4(0)
 !class Amendment 20-10-21
 !status Amendment 1-2012 20-12-11
@@ -201,10 +201,10 @@
 
   Append after 7.3.4(23/5) [and after the text added for proposals C and D]:
 
-     The Pre expression additions described above are enabled or disabled 
-     depending on the Pre assertion policy that is in effect at the point of
+     The Post expression additions described above are enabled or disabled 
+     depending on the Post assertion policy that is in effect at the point of
      declaration of the subprogram S. A similar rule applies to the 
-     Pre'Class expression additions.
+     Post'Class expression additions.
 
 Proposal F:
    No change.
@@ -849,5 +849,18 @@
 as usual).
 
 Some editorial changes were also made to match this wording.
+
+****************************************************************
+
+From the WG 9 review, Issue #145
+
+This speaks of "Pre expressions", but should surely speak of "Post 
+expressions". Ditto Pre'Class => Post'Class.
+
+[Reply from Tucker Taft:
+Good catch. It is actually wrong in the AI as well (AI12-0405-1).]
+
+[Editor's note: This will processed as an Editorial Review change on 
+AI12-0405-1.]
 
 ****************************************************************