CVS difference for acats/new/b611007.a

Differences between 1.3 and version 1.4
Log of other versions for file acats/new/b611007.a

--- acats/new/b611007.a	2017/12/14 04:25:35	1.3
+++ acats/new/b611007.a	2017/12/14 04:38:12	1.4
@@ -109,7 +109,7 @@
 
    private
 
-      function F1 return Natural with Pre => Is_Open;           -- OK. {39}
+      function F1 return Natural with Pre => D >= 12;           -- OK. {39}
 
       function F2 (N : Natural) return Natural
          with Pre'Class => N > D;                               -- ERROR: {15}

Questions? Ask the ACAA Technical Agent