Google Git
Sign in
gnu / gcc / refs/tags/basepoints/gcc-13 / . / gcc / testsuite / gnat.dg / ghost6_pkg.ads
blob: 7fbd942b5e29de7ab675c4a08284ce6dbc4795b4 [file] [log] [blame]
with Ada.Finalization;
package Ghost6_Pkg with
Ghost
is
type T is new Ada.Finalization.Controlled with null record;
end Ghost6_Pkg;