CVS difference for ai05s/ai05-0048-1.txt

--- ai05s/ai05-0048-1.txt	2007/12/13 04:39:36	1.2
+++ ai05s/ai05-0048-1.txt	2008/05/10 05:14:33	1.3
@@ -1,4 +1,4 @@
-!standard A(3)                                       07-11-29    AI05-0048-1/02
+!standard A(3)                                       08-04-21    AI05-0048-1/03
 !class binding interpretation 07-04-10
 !status ARG Approved  9-0-0  06-11-10
 !status work item 07-04-10
@@ -10,7 +10,8 @@
 
 !summary
 
-(See recommendation.)
+Redispatching should be forbidden in language-defined routines unless it is
+explicitly required.
 
 !question
 
@@ -48,17 +49,16 @@
 
 !recommendation
 
-Redispatching should be forbidden in language-defined routines unless it is
-explicitly required.
+(See summary.)
 
 !wording
 
 Add the following after A(3/2):
 
-For a descendant of a language-defined tagged type, the implementation
-shall ensure that each inherited language-defined subprogram behaves as
-described in this International Standard. In particular, overriding
-a language-defined subprogram shall
+If a descendent of a language-defined tagged type is declared, the
+implementation shall ensure that each inherited language-defined subprogram
+behaves as described in this International Standard. In particular,
+overriding a language-defined subprogram shall
 not alter the effect of any inherited language-defined subprogram.
 
 AARM Note: This means that internally the implementation must not do
@@ -91,10 +91,10 @@
 so long as all parameters that could be passed by reference denote
 nonoverlapping objects. 
 @dinst
-For a descendant of a language-defined tagged type, the implementation
-shall ensure that each inherited language-defined subprogram behaves as
-described in this International Standard. In particular, overriding
-a language-defined subprogram shall
+If a descendent of a language-defined tagged type is declared, the
+implementation shall ensure that each inherited language-defined subprogram
+behaves as described in this International Standard. In particular,
+overriding a language-defined subprogram shall
 not alter the effect of any inherited language-defined subprogram.
 
 !ACATS test