1-- { dg-do compile } 2-- { dg-options "-O -gnatn" } 3 4with Inline14_Pkg; use Inline14_Pkg; 5 6procedure Inline14 is 7begin 8 Proc; 9end; 10