blob: 46eb4629f4e7d6a41bdaeabed454b1d9edab7daa [file] [log] [blame]
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;