Require target lra in gcc.dg/pr108095.c
[official-gcc.git] / gcc / testsuite / gnat.dg / ghost6_pkg.ads
blob7fbd942b5e29de7ab675c4a08284ce6dbc4795b4
1 with Ada.Finalization;
3 package Ghost6_Pkg with
4 Ghost
5 is
6 type T is new Ada.Finalization.Controlled with null record;
7 end Ghost6_Pkg;