gcc/testsuite/gnat.dg/iter2.ads - gcc - Git at Google

 package Iter2
    with SPARK_Mode
 is
    function To_String (Name : String) return String;
 end Iter2;
	package Iter2
	with SPARK_Mode
	is
	function To_String (Name : String) return String;
	end Iter2;