CVS difference for ai12s/ai12-0072-1.txt

Differences between 1.6 and version 1.7
Log of other versions for file ai12s/ai12-0072-1.txt

--- ai12s/ai12-0072-1.txt	2013/07/18 05:05:31	1.6
+++ ai12s/ai12-0072-1.txt	2013/10/08 01:24:39	1.7
@@ -1,4 +1,4 @@
-!standard C.5(1)                                13-07-11    AI12-0072-1/04
+!standard C.5(1)                                13-10-07    AI12-0072-1/05
 !standard C.5(5)
 !standard C.5(7/2)
 !standard C.5(8)
@@ -105,9 +105,10 @@
 blanket rules (enough that it failed to get added to the index of aspects).
 
 In addition, it's not clear that the blanket rules explain what it means to
-specify the aspect. In particular, do the rules make the specifying the aspect
-to True the same as if the associated pragma applies to the entity? We sidestepped
-that for all other pragmas by defining the pragmas in terms of the aspects.
+specify the aspect using an aspect_specification. In particular, do the
+rules make the specifying the aspect to True with an aspect_specification the
+same as if the associated pragma applies to the entity? We sidestepped that for
+all other pragmas by defining the pragmas in terms of the aspects.
 
 Finally, if we add the aspect to the aspect index, it would be bad if there was no
 text describing the aspect at the target of that index entry.

Questions? Ask the ACAA Technical Agent