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