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

--- ai05s/ai05-0072-1.txt	2007/10/25 02:42:02	1.1
+++ ai05s/ai05-0072-1.txt	2007/12/13 04:39:38	1.2
@@ -1,5 +1,6 @@
 !standard 9.10(6.1/1)                                        07-10-24    AI05-0072-1/01
 !class binding interpretation 07-10-24
+!status ARG Approved  9-0-0  06-11-10
 !status work item 07-10-24
 !status received 07-10-23
 !priority Low
@@ -39,8 +40,21 @@
 
 !discussion
 
+If T'Terminated returns False, that says nothing interesting about the state of T.
 
---!corrigendum 7.6.1(17.1/1)
+!corrigendum 9.10(6.1/1)
+
+@drepl
+@xbullet<If A1 is the termination of a task T, and A2 is either
+the evaluation of the expression T'Terminated or a call to
+Ada.Task_Identification.Is_Terminated with an actual parameter
+that identifies T (see C.7.1).>
+@dby
+@xbullet<If A1 is the termination of a task T, and A2 is either
+an evaluation of the expression T'Terminated that results in True,
+or a call to
+Ada.Task_Identification.Is_Terminated with an actual parameter
+that identifies T and a result of True (see C.7.1).>
 
 !ACATS Test