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.
Questions? Ask the ACAA Technical Agent