CVS difference for ais/ai-00145.txt

--- ais/ai-00145.txt	2001/03/22 22:24:53	1.7
+++ ais/ai-00145.txt	2001/12/06 01:22:01	1.8
@@ -184,9 +184,9 @@
 
 !ACATS test
 
-Create a C-Test to check that a renames-as-body used before the subprogram is
+C854003 checks that a renames-as-body used before the subprogram is
 frozen only requires mode conformance. (Test, 8-0-0, ARG Letter Ballot,
-February 2001). Use the examples from this AI in the test.
+February 2001).
 
 Create a C-Test to check that the predefined boolean operators have the
 parameter type Boolean'Base. (No Test, 4-3-1 (2/3rd majority required, but not