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

Differences between 1.6 and version 1.7
Log of other versions for file ai12s/ai12-0275-1.txt

--- ai12s/ai12-0275-1.txt	2018/07/15 00:25:58	1.6
+++ ai12s/ai12-0275-1.txt	2018/09/05 21:28:47	1.7
@@ -1,4 +1,4 @@
-!standard 8.5.1(2/3)                                  18-06-14  AI12-0275-1/02
+!standard 8.5.1(2/3)                                  18-08-31  AI12-0275-1/03
 !standard 8.5.1(3/2)
 !class Amendment 18-05-10
 !status Amendment 1-2012 18-07-05
@@ -16,11 +16,11 @@
 
 !problem
 
-subtype_marks are often redundant, especially when used to introduce local
-renamings that are aimed at clarifying the intent of the code. Moreover, the
-constraints, exclusions, and predicates of the subtype_mark are ignored in 
-favor of those of the renamed object, so the subtype_mark can't be trusted 
-to provide accurate information about the object.
+The subtype_mark in an object renaming is often redundant, especially when 
+used to introduce local renamings that are aimed at clarifying the intent of 
+the code. Moreover, the constraints, exclusions, and predicates of the 
+subtype_mark are ignored in favor of those of the renamed object, so the 
+subtype_mark can't be trusted to provide accurate information about the object.
 
 !proposal
 

Questions? Ask the ACAA Technical Agent