1--  { dg-do run }
2--  { dg-options "-O -gnatn" }
3with Generic_Inst12_Pkg2;
4
5procedure Generic_Inst12 is
6
7  procedure My_Inner_G is new Generic_Inst12_Pkg2.Inner_G;
8
9begin
10  My_Inner_G (1);
11  Generic_Inst12_Pkg2.Proc (1);
12end;
13