gcc/testsuite/gnat.dg/part_of1-instantiation.ads - gcc - Git at Google

 package Part_Of1.Instantiation
 with
    Abstract_State => State
 is
    pragma Elaborate_Body;
 end Part_Of1.Instantiation;
	package Part_Of1.Instantiation
	with
	Abstract_State => State
	is
	pragma Elaborate_Body;
	end Part_Of1.Instantiation;