--- ai12s/ai12-0144-1.txt 2016/03/18 22:39:56 1.11 +++ ai12s/ai12-0144-1.txt 2016/04/12 04:48:39 1.12 @@ -54,7 +54,7 @@ function Random (Gen : Generator; First : Result_Subtype; Last : Result_Subtype) return Result_Subtype - with Post =@> Random'Result in First .. Last; + with Post => Random'Result in First .. Last; Modify A.5.2(32): @@ -80,7 +80,7 @@ function Random (Gen : Generator; First : Result_Subtype; Last : Result_Subtype) return Result_Subtype - with Post =@> Random'Result in First .. Last; + with Post => Random'Result in First .. Last; Obtains the "next" random number from the given generator, relative to its current state, according to an implementation-defined algorithm. If the @@ -181,7 +181,7 @@ @xcode< @b<function> Random (Gen : Generator; First : Result_Subtype; Last : Result_Subtype) @b<return> Result_Subtype - @b<with> Post => Random'Result in First .. Last;> + @b<with> Post =@> Random'Result @b<in> First .. Last;> !corrigendum A.5.2(32) @@ -197,10 +197,10 @@ @xindent<Obtains the "next" random number from the given generator, relative to its current state, according to an implementation-defined algorithm.> -@xcode< @b<function> Random (Gen : Generator; - First : Result_Subtype; - Last : Result_Subtype) @b<return> Result_Subtype - @b<with> Post => Random'Result in First .. Last;> +@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;> @xindent<Obtains the "next" random number from the given generator, relative to its current state, according to an implementation-defined algorithm. If the

Questions? Ask the ACAA Technical Agent