view gcc/testsuite/gnat.dg/elab8_pkg.ads @ 152:2b5abeee2509

update gcc11
author anatofuz
date Mon, 25 May 2020 07:50:57 +0900
parents 1830386684a0
children
line wrap: on
line source

package Elab8_Pkg with SPARK_Mode is

  pragma Elaborate_Body;

end Elab8_Pkg;