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

Differences between 1.13 and version 1.14
Log of other versions for file ai12s/ai12-0187-1.txt

--- ai12s/ai12-0187-1.txt	2018/06/29 04:42:54	1.13
+++ ai12s/ai12-0187-1.txt	2018/09/05 21:28:46	1.14
@@ -1,4 +1,4 @@
-!standard 7.3.4(0)                                    18-05-07  AI12-0187-1/08
+!standard 7.3.4(0)                                    18-08-31  AI12-0187-1/09
 !standard 13.1.1(4/3)
 !class Amendment 16-06-02
 !status Amendment 1-2012 17-11-21
@@ -45,8 +45,8 @@
 postcondition for routines that operate on the ADT. For Text_IO, this would
 look something like:
     procedure Put_Line (File : in File_Type; Str : in String)
-       with Pre  => Mode(File) = In_File,
-            Post => Mode(File) = Mode(File)'Old;
+       with Pre  => Mode(File) /= In_File,
+            Post => Mode(File)  = Mode(File)'Old;
 
 This works, but has a number of disadvantages:
 * One can easily forget the stable properties on some of the routines,

Questions? Ask the ACAA Technical Agent