Sign in
gnu
/
gcc
/
1f16a020acbea0af26209478990b83b1a1ba3a2b
/
.
/
gcc
/
testsuite
/
gnat.dg
/
elab8_pkg.ads
blob: 8bf46036a366838a2edc2b4abafc9195f789058d [
file
] [
log
] [
blame
]
package
Elab8_Pkg
with
SPARK_Mode
is
pragma
Elaborate_Body
;
end
Elab8_Pkg
;