--  { dg-do compile }

with Generic_Inst7_Pkg;

procedure Generic_Inst7 is

  package Inst is new Generic_Inst7_Pkg;

begin
   null;
end Generic_Inst7;