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