gcc/testsuite/gnat.dg/elim1.adb - gcc - Git at Google

 package body elim1 is
    procedure d (a : t) is
    begin
       null;
    end;
 end;
	package body elim1 is
	procedure d (a : t) is
	begin
	null;
	end;
	end;