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

--- ai12s/ai12-0377-1.txt	2020/07/09 07:15:40	1.9
+++ ai12s/ai12-0377-1.txt	2020/09/12 02:56:35	1.10
@@ -159,7 +159,7 @@
 @dby
 @xinbull<For a scalar type that has the Default_Value aspect specified, the
 formal parameter is initialized from the value of the actual, without checking
-that the value satisfies any constraint or any predicate;>
+that the value satisfies any constraint or any predicate.>
 
 !corrigendum 6.4.1(13.2/4)