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

Differences between 1.8 and version 1.9
Log of other versions for file ai12s/ai12-0220-1.txt

--- ai12s/ai12-0220-1.txt	2018/04/27 03:51:14	1.8
+++ ai12s/ai12-0220-1.txt	2018/05/08 03:45:32	1.9
@@ -1,4 +1,4 @@
-!standard 6.1.1(1/4)                                  18-04-26  AI12-0220-1/05
+!standard 6.1.1(1/4)                                  18-05-07  AI12-0220-1/06
 !standard 6.1.1(2/3)
 !standard 6.1.1(4/3)
 !standard 6.1.1(19/3)
@@ -132,7 +132,7 @@
 the "root" subprogam. Such a Pre is not known to the caller, but still is
 evaluated. The same thing is happening here.
 
-Note that this semantics for access-to-subprogram is not that unusual. A
+Note that these semantics for access-to-subprogram are not that unusual. A
 wrapper subprogram also might "add" a precondition to an existing routine.
 For instance, if we have:
     procedure P with Pre => (Some_Expr_A);
@@ -199,7 +199,7 @@
          procedure Pp (X : Integer) renames P;
       end G;
 
-      procedure Foo (X : Integer) is ... end;
+      procedure Foo (X : Integer) is begin ... end;
 
       procedure Bar is
           Ptr1 : T1 := Foo'Access;

Questions? Ask the ACAA Technical Agent