CVS difference for acats/new/b651001.a

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

--- acats/new/b651001.a	2017/04/01 01:09:03	1.1
+++ acats/new/b651001.a	2020/09/30 04:25:01	1.2
@@ -40,7 +40,7 @@
 --
 -- CHANGE HISTORY:
 --     31 Mar 17   RLB     Created test.
---
+--     29 Sep 20   RLB     Corrected pragmas.
 --!
 procedure B651001 is
 
@@ -173,10 +173,10 @@
       pragma No_Return (Check_Error_2);
 
       procedure Check_Error_3 (Code : in Natural);
-      pragma No_Return (Check_Error_1);
+      pragma No_Return (Check_Error_3);
 
       procedure Check_Error_4 (Code : in Natural);
-      pragma No_Return (Check_Error_2);
+      pragma No_Return (Check_Error_4);
 
    private
       -- Renames-as-body checks:

Questions? Ask the ACAA Technical Agent