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;