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

 -- { dg-do run }

 with Taft_Type1_Pkg1;

 procedure Taft_Type1 is
 begin
    Taft_Type1_Pkg1.Check;
 end;
	-- { dg-do run }

	with Taft_Type1_Pkg1;

	procedure Taft_Type1 is
	begin
	Taft_Type1_Pkg1.Check;
	end;