1-- { dg-do compile } 2-- { dg-options "-gnatws" } 3 4with elab1; 5 6procedure elab2 is 7 A : elab1.My_Rec; 8begin 9 null; 10end; 11