CVS difference for 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
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).
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