Sign in
gnu
/
gcc
/
04a040d907a83af54e0a98bdba5bfabc0ef4f700
/
.
/
gcc
/
testsuite
/
gnat.dg
/
discr56_pkg2.ads
blob: dc94908bb75deb9fe329bded38d03c1b4dd5f4b4 [
file
] [
log
] [
blame
]
with
Discr56_Pkg1
;
package
Discr56_Pkg2
is
type
Buffer
(
Size
:
Positive
)
is
limited
private
;
private
type
Buffer
(
Size
:
Positive
)
is
new
Discr56_Pkg1
.
Buffer
(
Size
);
end
Discr56_Pkg2
;