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

 --  { dg-do compile }

 package body Prot8 is

   protected body Prot is
   end Prot;

 end Prot8;
	-- { dg-do compile }

	package body Prot8 is

	protected body Prot is
	end Prot;

	end Prot8;