--- acats/new/bb42003.a 2016/01/26 06:57:30 1.1 +++ acats/new/bb42003.a 2016/02/05 05:44:58 1.2 @@ -47,10 +47,11 @@ -- -- This test only checks the policy name as defined in Amendment 1; the -- Ada 2012 assertion aspect marks will be tested separately. - +-- -- CHANGE HISTORY: -- 25 Jan 16 RLB Created test. -- +--! procedure BB42003 is pragma Assertion_Policy (Ignore); -- OK.