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

 --  { dg-do compile }
 package Synchronized2 with SPARK_Mode, Abstract_State => (State with Synchronous) is
    procedure Dummy;
 end;
	-- { dg-do compile }
	package Synchronized2 with SPARK_Mode, Abstract_State => (State with Synchronous) is
	procedure Dummy;
	end;