Mercurial > hg > CbC > CbC_gcc

view gcc/testsuite/gnat.dg/sync2.ads @ 131:84e7813d76e9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents
children
line wrap: on
line source

package Sync2 with
  SPARK_Mode,
  Abstract_State => (State with Synchronous)
is
   pragma Elaborate_Body;
end Sync2;