1-- { dg-do compile }
2
3with Discr25_Pkg;
4
5procedure Discr25 (N : Natural) is
6
7  package Test_Set is new Discr25_Pkg (N);
8
9begin
10  null;
11end;
12