path: root/gcc-4.9/gcc/testsuite/gnat.dg/elim2.adb

--  { dg-do run }

with elim1;
procedure elim2 is
begin
   null;
end;