view gcc/testsuite/gnat.dg/overriding_ops2_pkg-high.ads @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents 84e7813d76e9
children
line wrap: on
line source

package Overriding_Ops2_Pkg.High is
   type High_Level_Session is new Session_Type with private;
private
   type High_Level_Session is new Session_Type with null record;
end Overriding_Ops2_Pkg.High;