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

Differences between 1.5 and version 1.6
Log of other versions for file ai05s/ai05-0072-1.txt

--- ai05s/ai05-0072-1.txt	2008/11/27 00:12:21	1.5
+++ ai05s/ai05-0072-1.txt	2011/11/01 05:32:51	1.6
@@ -50,13 +50,13 @@
 @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).>
+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).>
+that identifies T and a result of True (see C.7.1);>
 
 !ACATS Test
 

Questions? Ask the ACAA Technical Agent