blob: 7c09b850ddb0858e5b0194f2b5951284af9db567 [file] [log] [blame]
-- { dg-do compile }
-- { dg-options "-gnatJ" }
package body ABE_Pkg is
package body Gen is
procedure Force_Body is begin null; end Force_Body;
begin
ABE;
end Gen;
package Inst is new Gen;
procedure ABE is begin null; end ABE;
end ABE_Pkg;