Sign in
gnu
/
gcc
/
a6d3012b274f38b20e2a57162106f625746af6c6
/
.
/
gcc
/
testsuite
/
gnat.dg
/
part_of1-instantiation.adb
blob: 0efc1deb9aa1cf221e1da2c5b276c924d5523cd3 [
file
] [
log
] [
blame
]
--
{
dg
-
do
compile
}
with
Part_Of1
.
Private_Generic
;
package
body
Part_Of1
.
Instantiation
with
Refined_State
=>
(
State
=>
Inst
.
State
)
is
package
Inst
is
new
Part_Of1
.
Private_Generic
;
end
Part_Of1
.
Instantiation
;