CVS difference for ais/ai-00327.txt

--- ais/ai-00327.txt	2004/11/25 00:03:39	1.12
+++ ais/ai-00327.txt	2005/01/28 02:10:47	1.13
@@ -443,7 +443,7 @@
 
 The following attribute of a protected object is defined:
 
-@xhang<@xterm<P'Priority>>
+@xhang<@xterm<P'Priority>
 Denotes a non-aliased component of the enclosing protected object P.
 This component is of type System.Any_Priority and its value is the
 priority of P. Reference to this attribute shall appear only inside