blob: b5b52f170ecaa376d2435d21c034daaf77daf611 [file] [log] [blame]
-- { dg-do run }
-- { dg-options "-gnatE -gnatn" }
with Elab7_Pkg1;
procedure Elab7 is
begin
null;
end Elab7;