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

--- ai05s/ai05-0003-1.txt	2009/06/26 01:49:35	1.10
+++ ai05s/ai05-0003-1.txt	2009/07/11 03:06:22	1.11
@@ -197,7 +197,7 @@
 shall resolve to be of the type determined by the @fa<subtype_mark>,
 or a universal type that covers it.
 @dinst
-@s8<@b<Static Semantics>>
+@s8<@i<Static Semantics>>
       
 If the operand of a @fa<qualified_expression> denotes an object, the
 @fa<qualified_expression> denotes a constant view of that object. The