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

 --  { dg-do compile }
 --  { dg-options "-gnata" }

 package body Predicate12 is
    procedure Dummy is null;
 end Predicate12;
	-- { dg-do compile }
	-- { dg-options "-gnata" }

	package body Predicate12 is
	procedure Dummy is null;
	end Predicate12;