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

Differences between 1.11 and version 1.12
Log of other versions for file ai12s/ai12-0144-1.txt

--- 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