blob: 01a2417ad531ff81176b7f67b4292a68459d87f4 [file] [log] [blame]
-- { dg-do link }
-- { dg-options "-gnata -g" }
with Ghost6_Pkg;
procedure Ghost6 is
X : Ghost6_Pkg.T with Ghost;
begin
null;
end Ghost6;