CVS difference for ais/ai-00357.txt

Differences between 1.16 and version 1.17
Log of other versions for file ais/ai-00357.txt

--- ais/ai-00357.txt	2005/07/26 02:11:15	1.16
+++ ais/ai-00357.txt	2005/08/21 06:00:33	1.17
@@ -472,7 +472,7 @@
 @xbullet<the highest priority @i<P>, if any, less than the base priority of
 @i<T> such that one or more tasks are executing within a protected object with
 ceiling priority @i<P> and task @i<T> has an earlier deadline than all such
-tasks.
+tasks.>
 
 When a task @i<T> is first activated or becomes unblocked, it is added
 to the ready queue corresponding to this active priority. Until

Questions? Ask the ACAA Technical Agent