CVS difference for ai05s/ai05-0093-1.txt

Differences between 1.1 and version 1.2
Log of other versions for file ai05s/ai05-0093-1.txt

--- ai05s/ai05-0093-1.txt	2008/05/16 04:12:14	1.1
+++ ai05s/ai05-0093-1.txt	2008/05/16 04:16:11	1.2
@@ -24,7 +24,7 @@
     its type is a protected type, a task type, or an explicitly limited
     record type; or
-    its type is immutably limited; or
+    its type is immutably limited (see 7.5); or
 In 7.5(8.7/2), replace
    For a function_call of a type with a part that is of a task, protected,
@@ -54,9 +54,6 @@
 [No. The note should say something about a component that doesn't have
 available stream attributes, that is not clear; otherwise, it is specifically
 enumerating Ada 95 cases that would fail. - Editor.]
-Following the example of 3.10(9/3), we do not say "(see 7.5)" when the term
-"immutably limited" is used in sections which precede its definition in 7.5.
 --!corrigendum 3.4(23.4/3)

Questions? Ask the ACAA Technical Agent