xref: /dports/lang/gcc11/gcc-11.2.0/gcc/testsuite/gnat.dg/elab8_pkg.ads

package Elab8_Pkg with SPARK_Mode is

  pragma Elaborate_Body;

end Elab8_Pkg;