CVS difference for ais/ai-00256.txt

Differences between 1.15 and version 1.16
Log of other versions for file ais/ai-00256.txt

--- ais/ai-00256.txt	2005/01/28 02:10:41	1.15
+++ ais/ai-00256.txt	2005/06/16 23:47:18	1.16
@@ -198,7 +198,7 @@
 @i<elaboration dependences>. There is an elaboration dependence of a given
 @fa<library_item> upon another if the given @fa<library_item> or any of its
 subunits depends semantically on the other @fa<library_item>. In addition, if a
-given @fa<library_item> or any of its subunits has a pragma Elaborate or
+given @fa<library_item> or any of its subunits has a @fa<pragma> Elaborate or
 Elaborate_All that mentions another library unit, then there is an elaboration
 dependence of the given @fa<library_item> upon the body of the other library
 unit, and, for Elaborate_All only, upon each @fa<library_item> needed by the
@@ -208,7 +208,7 @@
 @i<elaboration dependences>. There is an elaboration dependence of a given
 @fa<library_item> upon another if the given @fa<library_item> or any of its
 subunits depends semantically on the other @fa<library_item>. In addition, if a
-given @fa<library_item> or any of its subunits has a pragma Elaborate or
+given @fa<library_item> or any of its subunits has a @fa<pragma> Elaborate or
 Elaborate_All that names another library unit, then there is an elaboration
 dependence of the given @fa<library_item> upon the body of the other library
 unit, and, for Elaborate_All only, upon each @fa<library_item> needed by the

Questions? Ask the ACAA Technical Agent