CVS difference for ais/ai-00239.txt

--- ais/ai-00239.txt	2004/07/27 23:00:48	1.5
+++ ais/ai-00239.txt	2004/11/14 06:36:55	1.6
@@ -1,4 +1,4 @@
-!standard 3.9.2  (18)                                  04-07-02  AI95-00239/03
+!standard 3.9.2  (18)                                  04-11-08  AI95-00239/04
 !class binding interpretation 00-07-20
 !status Amendment 200Y 04-07-02
 !status ARG Approved 8-0-1  04-06-17
@@ -102,8 +102,8 @@
 Certainly 3.9.2(15) and 3.9.2(16) do not apply to the default expression
 Pkg1.Fa. 3.9.2(18) does not apply, either, as Pkg1.Fa is a dispatching
 operation of type T1, while the enclosing call is a dispatching operation on
-type T2. Thus, the tag of Pkg1.Fa is static determined to be T1. Similarly, the
-tag of the enclosing call is statically determined to be T2.
+type T2. Thus, the tag of Pkg1.Fa is statically determined to be T1.
+Similarly, the tag of the enclosing call is statically determined to be T2.
 
 AARM 3.9(1.g) notes that there is a general principle that the subprograms
 called for a statically tagged call are the same as those that would be