CVS difference for ais/ai-00381.txt
--- ais/ai-00381.txt 2004/10/05 22:49:20 1.5
+++ ais/ai-00381.txt 2004/11/14 06:37:21 1.6
@@ -1,4 +1,4 @@
-!standard 13.12 (4) 04-06-17 AI95-00381/02
+!standard 13.12 (4) 04-11-09 AI95-00381/03
!standard 13.12.1 (1)
!class amendment 04-06-08
!status Amendment 200Y 04-06-29
@@ -12,7 +12,7 @@
!summary
A new Restrictions identifier is proposed to specify that there are no
-dependences on a given language-defined or implementation-defined package.
+dependences on a given language-defined package.
!problem
@@ -71,10 +71,6 @@
pragma Restrictions(No_Dependence => Ada.Command_Line);
-- Example of restriction on language-defined package
-!ACATS test
-
-An ACATS test should be created for this pragma.
-
!corrigendum 13.12(4)
@drepl
@@ -106,6 +102,10 @@
No compilation unit included in the partition shall depend semantically
on the library unit identified by the @fa<name>.
+
+!ACATS test
+
+An ACATS test should be created for this pragma.
!appendix
Questions? Ask the ACAA Technical Agent