CVS difference for ai05s/ai05-0153-3.txt

--- ai05s/ai05-0153-3.txt	2011/11/01 05:32:52	1.20
+++ ai05s/ai05-0153-3.txt	2012/01/05 06:19:32	1.21
@@ -1136,13 +1136,13 @@
 !corrigendum 4.5.2(30/2)
 
 @drepl
-The tested type is not scalar, and the value of the @fa<simple_expression> satisfies any
-constraints of the named subtype, and:
+@xbullet<The tested type is not scalar, and the value of the @fa<simple_expression>
+satisfies any constraints of the named subtype, and:>
 @dby
 @xbullet<The @fa<membership_choice> is a @fa<subtype_mark>, the tested type not is
 scalar, the value of the @fa<simple_expression> satisfies any
 constraints of the named subtype, the predicate of the named subtype
-evaluates to True, and>
+evaluates to True, and:>
 
 !corrigendum 4.6(51/2)