blob: b64c526977688ec779a3d8907d0867d6c7f44655 [file] [log] [blame]
-- { dg-do run }
-- { dg-options "-gnatVa" }
with Valid4_Pkg; use Valid4_Pkg;
procedure Valid4 is
begin
Proc (Global);
if Global then
raise Program_Error;
end if;
end Valid4;