Sign in
gnu
/
gcc
/
a8404c07e7fca388c02c39077865f7d5fa928430
/
.
/
gcc
/
testsuite
/
gnat.dg
/
ghost1.adb
blob: 7a2c5518dd77451fbd8961d5c74ca44182ba9ffb [
file
] [
log
] [
blame
]
--
{
dg
-
do
compile
}
package
body
Ghost1
is
procedure
Body_Only
(
Obj
:
Ghost_Typ
)
is
null
with
Ghost
;
procedure
Spec_And_Body
(
Obj
:
Ghost_Typ
)
is
null
;
end
Ghost1
;