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

Differences between 1.2 and version 1.3
Log of other versions for file ai12s/ai12-0316-1.txt

--- ai12s/ai12-0316-1.txt	2019/02/27 02:36:25	1.2
+++ ai12s/ai12-0316-1.txt	2019/03/01 05:46:36	1.3
@@ -270,3 +270,24 @@
 reminder, so I wouldn't recommend removing them).
 
 ****************************************************************
+
+From: Tucker Taft
+Sent: Tuesday, February 26, 2019  8:38 PM
+
+Clever!
+
+****************************************************************
+
+From: Randy Brukardt
+Sent: Wednesday, February 27, 2019  4:21 PM
+
+> The precondition can just be:
+> 
+>     when Pre => (if Ada.Task_Identification.Is_Terminated (T)
+>                  then raise Tasking_Error);
+> 
+> which probably is short enough to just replicate for the 10 uses.
+
+I like it.
+
+****************************************************************

Questions? Ask the ACAA Technical Agent