gcc/testsuite/gnat.dg/overriding_ops2_pkg.ads

   1 with Ada.Finalization;
   2
   3 package Overriding_Ops2_Pkg is
   4    type Session_Type is abstract tagged limited private;
   5    procedure Finalize (Session : in out Session_Type);
   6 private
   7    type Session_Type is
   8      abstract new Ada.Finalization.Limited_Controlled with null record;
   9 end Overriding_Ops2_Pkg;