Sign in
gnu
/
gcc
/
d769c5040874bf9546f2524f3f1d2a894165f92a
/
.
/
gcc
/
testsuite
/
gnat.dg
/
specs
/
preelab.ads
blob: 4336c754f14521bb5db57dd21f7d69921faded27 [
file
] [
log
] [
blame
]
--
{
dg
-
do
compile
}
with
Ada
.
Finalization
;
package
preelab
is
type T
is
limited
private
;
pragma
Preelaborable_Initialization
(
T
);
private
type T
is
new
Ada
.
Finalization
.
Limited_Controlled
with
null
record
;
end
preelab
;