2016-11-21 Thomas Preud'homme <thomas.preudhomme@arm.com>

[official-gcc.git] / gcc / testsuite / gnat.dg / inline10.adb

-- { dg-do compile }
-- { dg-options "-O -gnatn -Winline" }

with Inline10_Pkg; use Inline10_Pkg;

procedure Inline10 is
begin
  Test (0);
end;