gcc/testsuite/gnat.dg/prot9_pkg1.ads

with Prot9_Pkg2;

package Prot9_Pkg1 is

   type Prot_Type is limited private;

private

   type Prot_Type is new Prot9_Pkg2.Prot_Type;

end Prot9_Pkg1;