blob: 1b773c4068716001a5480a6ead116f4bc8afc77d [file] [log] [blame]
-- { 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;