CVS difference for ais/ai-00025.txt

--- ais/ai-00025.txt	1998/09/30 00:17:07	1.1
+++ ais/ai-00025.txt	1999/07/21 03:10:56	1.2
@@ -1,4 +1,4 @@
-!standard 12.05.04 (04)                               96-11-16  AI95-00025/02
+!standard 12.05.04 (04)                               99-05-27  AI95-00025/03
 !class confirmation 95-06-25
 !status WG9 approved 96-12-07
 !status ARG Approved 9-0-1  96-10-07
@@ -8,12 +8,12 @@
 !difficulty Medium
 !subject Matching rules for generic formal access-to-constant types
 
-!summary 95-06-25
+!summary
 
 An access-to-variable type cannot be passed as an actual to a generic
 formal access-to-constant type.
 
-!question 95-06-25
+!question
 
 RM95-12.5.4(4) states that "If and only if the general_access_modifier
 constant applies to the formal, the actual shall be an access-to
@@ -21,7 +21,7 @@
 type from being passed as an actual to a generic formal
 access-to-constant type?  (Yes.)
 
-!response 95-06-25
+!response
 
 Consider the following example:
 
@@ -50,7 +50,11 @@
 
 This should be explained in the AARM.
 
-!appendix 95-06-25
+!ACATS test
+
+ACATS test BC54001 tests the rules of 12.5.4(40, including this case.
+
+!appendix
 
 !section 12.5.4(4)
 !subject Matching rules for generic formal access-to-constant types