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

--- ai05s/ai05-0205-1.txt	2010/04/02 21:51:24	1.2
+++ ai05s/ai05-0205-1.txt	2010/06/03 06:29:14	1.3
@@ -1,5 +1,4 @@
-!standard  8.3(16)                                 10-04-02    AI05-0205-1/02
-!standard  8.3(17/2)
+!standard  8.3(17)                                 10-06-03    AI05-0205-1/03
 !class binding interpretation 10-02-15
 !status Amendment 2012 10-04-02
 !status ARG Approved  10-0-0  10-02-28
@@ -36,7 +35,7 @@
 
 !wording
 
-Add after 8.3(17/2):
+Add after 8.3(17):
 
 * For an extended_return_statement, the declaration is hidden from all
   visibility only until the reserved word do of the statement;
@@ -45,13 +44,13 @@
 
 Clearly, the intent is that the name is visible in the
 handled_sequence_of_statements of the extended_return_statement. Any other
-interpretation about make extended returns pointless.
+interpretation would make extended returns pointless.
 
 The alternative of changing the syntax is heavier than simply adopting a rule
 similar to that used for program units. Thus we add an additional bullet to
 8.3.
 
-!corrigendum 8.3(17/2)
+!corrigendum 8.3(17)
 
 @dinsa
 @xbullet<For a record type or record extension, the declaration is hidden from