blob: 0efc1deb9aa1cf221e1da2c5b276c924d5523cd3 (
plain)
1
2
3
4
5
6
7
8
9
10
|
-- { 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;
|