CVS difference for acats/new/b611007.a

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

--- acats/new/b611007.a	2016/03/29 06:12:09	1.2
+++ acats/new/b611007.a	2017/12/14 04:25:35	1.3
@@ -44,6 +44,8 @@
 -- CHANGE HISTORY:
 --     24 Feb 2016   RLB   Created test.
 --     28 Mar 2016   RLB   Added error location codes.
+--     12 Dec 2017   RLB   Corrected test to avoid violating rule added by
+--                         Binding Interpretation AI12-0166-1.
 --
 --!
 package B611007 is
@@ -74,7 +76,7 @@
 
       function Is_Open return Boolean;
 
-      function Mode return Natural with Pre => Is_Open;         -- OK. {41}
+      function Mode return Natural with Pre => D > 1;           -- OK. {41}
 
       function Foob (N : Natural) return Natural
          with Pre'Class => N > D;                               -- ERROR: {15}

Questions? Ask the ACAA Technical Agent