CVS difference for ais/ai-00385.txt

--- ais/ai-00385.txt	2005/04/13 05:37:19	1.4
+++ ais/ai-00385.txt	2005/06/16 23:47:37	1.5
@@ -277,12 +277,12 @@
 @drepl
 The @fa<subtype_indication> or full type definition of an
 @fa<object_declaration> defines the nominal subtype of the object.
-The @fa<object_declaration> declares an object of the nominal subtype.
+The @fa<object_declaration> declares an object of the type of the nominal subtype.
 @dby
 The @fa<subtype_indication>, @fa<access_definition>, or full type
 definition of an @fa<object_declaration> defines the nominal subtype
 of the object.
-The @fa<object_declaration> declares an object of the nominal subtype.
+The @fa<object_declaration> declares an object of the type of the nominal subtype.
 
 !corrigendum 03.03.01(16)
 
@@ -328,12 +328,12 @@
 the full declaration is still allowed to impose a constraint. The constant
 itself will be constrained, like all constants;>
 @dby
-@xbullet<If the deferred constant declaration includes a subtype_indication
-that defines a constrained subtype, then the subtype defined by the
-@fa<subtype_indication> in the full declaration shall match it statically. On
-the other hand, if the subtype of the deferred constant is unconstrained, then
-the full declaration is still allowed to impose a constraint. The constant
-itself will be constrained, like all constants;>
+@xbullet<If the deferred constant declaration includes a
+@fa<subtype_indication> that defines a constrained subtype, then the subtype
+defined by the @fa<subtype_indication> in the full declaration shall match it
+statically. On the other hand, if the subtype of the deferred constant is
+unconstrained, then the full declaration is still allowed to impose a
+constraint. The constant itself will be constrained, like all constants;>
 
 !ACATS test