gcc/testsuite/gnat.dg/generic_inst12_pkg2.ads

with Generic_Inst12_Pkg1;

package Generic_Inst12_Pkg2 is new Generic_Inst12_Pkg1 (Integer);