CVS difference for acats/new/b611006.a

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

--- acats/new/b611006.a	2016/02/05 05:43:46	1.1
+++ acats/new/b611006.a	2016/02/25 05:53:39	1.2
@@ -65,6 +65,7 @@
 --
 -- CHANGE HISTORY:
 --     04 Feb 2016   RLB   Created test.
+--     22 Feb 2016   RLB   Corrected operations of Intf to be abstract.
 --
 --!
 package B611006 is
@@ -85,10 +86,10 @@
 
    function Is_Old (Obj : Intf) return Boolean is abstract;
 
-   procedure Proc3 (Obj : in out Intf) is null
+   procedure Proc3 (Obj : in out Intf) is abstract
                                     with Pre'Class => Is_Old (Obj);  -- OK.
 
-   procedure Proc4 (Obj : in out Intf) is null
+   procedure Proc4 (Obj : in out Intf) is abstract
                                     with Post'Class => Is_Old (Obj); -- OK.
 
    type NRT is new Root with null record;

Questions? Ask the ACAA Technical Agent