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