| -- { dg-do run } | |
| -- { dg-options "-gnata" } | |
| with Ada.Text_IO; use Ada.Text_IO; | |
| with Assertion_Policy1_Pkg; use Assertion_Policy1_Pkg; | |
| procedure Assertion_Policy1 is | |
| begin | |
| Proc (2, 1); | |
| exception | |
| when others => | |
| Put_Line ("ERROR: unexpected exception"); | |
| raise; | |
| end Assertion_Policy1; |