1-- { dg-do compile }
2-- { dg-options "-gnatws" }
3
4with Slice8_Pkg1;
5with Slice8_Pkg3;
6
7procedure Slice8 is
8
9   package Bp is new Slice8_Pkg3 (Slice8_Pkg1);
10
11begin
12   null;
13end;
14