Sign in
gnu
/
gcc
/
1f16a020acbea0af26209478990b83b1a1ba3a2b
/
.
/
gcc
/
testsuite
/
gnat.dg
/
elim1.ads
blob: 7a7bd3588b481a6ad34be372a6e116a8389361a8 [
file
] [
log
] [
blame
]
pragma
Eliminate
(
p
,
d
);
package
elim1
is
type t
is
tagged
null
record
;
procedure d
(
a
:
t
);
end
;