CVS difference for ais/ai-00255.txt

Differences between 1.7 and version 1.8
Log of other versions for file ais/ai-00255.txt

--- ais/ai-00255.txt	2003/01/03 00:01:35	1.7
+++ ais/ai-00255.txt	2005/01/07 03:07:33	1.8
@@ -80,7 +80,7 @@
 
 The instantiation Inst is legal, because the constraints of the subtype mark
 appearing in the formal_object_declaration don't play a role in parameter
-matching (see RM95 12.4(12)). So even though the nominal subtype of Srl is
+matching (see 12.4(12)). So even though the nominal subtype of Srl is
 constrained, in an instantiation the corresponding object may be unconstrained.
 
 Moreover, the intent is that object renamings and generic in out objects are
@@ -103,7 +103,7 @@
 
 Note that making the nominal subtype unconstrained doesn't grant additional
 permissions, because the only rule that requires an unconstrained nominal
-subtype is RM95 8.5.1(5), and it doesn't apply here because formal objects are
+subtype is 8.5.1(5), and it doesn't apply here because formal objects are
 never aliased.
 
 !corrigendum 12.04(09)

Questions? Ask the ACAA Technical Agent