summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/part_of1-instantiation.adb
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;