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

--- ai12s/ai12-0143-1.txt	2017/08/12 02:57:05	1.9
+++ ai12s/ai12-0143-1.txt	2017/12/20 04:49:56	1.10
@@ -78,8 +78,8 @@
 For a @fa<prefix> E that denotes an entry declaration of an entry family
 (see 9.5.2), the following attribute is defined:
 
-@xhang<@xterm<E'Index>
-  Within a precondition or postcondition expression for entry family E, denotes
+@xhang<@xterm<E'Index>Within
+  a precondition or postcondition expression for entry family E, denotes
   the value of the entry index for the call of E. The nominal subtype of this
   attribute is the entry index subtype.>