Mercurial > hg > CbC > CbC_gcc

view gcc/testsuite/gnat.dg/synchronized2.adb @ 152:2b5abeee2509

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
update gcc11
author anatofuz
date Mon, 25 May 2020 07:50:57 +0900
parents 1830386684a0
children
line wrap: on
line source

with Synchronized2_Pkg;
package body Synchronized2 with SPARK_Mode, Refined_State => (State => C) is
   C : Synchronized2_Pkg.T;
   procedure Dummy is null;
end;