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

Differences between 1.2 and version 1.3
Log of other versions for file ai12s/ai12-0022-1.txt

--- ai12s/ai12-0022-1.txt	2012/05/11 06:20:56	1.2
+++ ai12s/ai12-0022-1.txt	2012/05/19 02:42:48	1.3
@@ -159,7 +159,7 @@
      function Raise_Mode_Error (For_File : File_Type) return Boolean is
      begin
          raise Mode_Error with Name (For_File);
-         return False; -- At least one return is required (see AI12-0030-1).
+         return False; -- At least one return is required (see AI12-0029-1).
      end Raise_Mode_Error;
 
 The problem with both of the first two alternatives is that the interface of a
@@ -322,7 +322,7 @@
 warning is IMO unusable. This silly requirement should be fixed (but it is hard
 to do since you have to talk about flow), or removed.
 
-[Editor's note: AI12-0030-1 discusses this issue and possible solutions.]
+[Editor's note: AI12-0029-1 discusses this issue and possible solutions.]
 
 > And then using it in the Pre expression as Tucker noted. In that
 > case, either the "real" precondition works, or the "or else" is

Questions? Ask the ACAA Technical Agent