sync2.ads\gnat.dg\testsuite\gcc - delta/gcc.git - gcc.gnu.org: git/gcc.git

index : delta/gcc.git

gcc.gnu.org: git/gcc.git

summary refs log tree commit diff

path: root/gcc/testsuite/gnat.dg/sync2.ads

blob: a9c45c9806999b5d08a8151466c2a1760235a3fc (plain)

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