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

Differences between 1.16 and version 1.17
Log of other versions for file ai05s/ai05-0167-1.txt

--- ai05s/ai05-0167-1.txt	2011/08/17 00:24:12	1.16
+++ ai05s/ai05-0167-1.txt	2011/10/21 06:42:22	1.17
@@ -266,7 +266,6 @@
 Legality Rules
 
 A Dispatching_Domain pragma is allowed only immediately within a task_definition.
-At most one such pragma shall appear within a given task_definition.
 
 Static Semantics
 
@@ -706,7 +705,6 @@
 @s8<@i<Legality Rules>>
 
 A Dispatching_Domain pragma is allowed only immediately within a @fa<task_definition>.
-At most one such pragma shall appear within a given @fa<task_definition>.
 
 @s8<@i<Static Semantics>>
 

Questions? Ask the ACAA Technical Agent