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

--- ai12s/ai12-0302-1.txt	2020/08/28 03:30:05	1.10
+++ ai12s/ai12-0302-1.txt	2021/03/18 09:47:48	1.11
@@ -1027,7 +1027,7 @@
 @xcode<   @b<function> Random (Gen   : Generator;
                     First : Result_Subtype;
                     Last  : Result_Subtype) @b<return> Result_Subtype
-      @b<with> Post =@> Random'Result @b<in> First .. Last
+      @b<with> Post =@> Random'Result @b<in> First .. Last,
            Global =@> @b<overriding in out> Gen;>
 
 !comment A.5.2(21) is not provided here.