Sign in
gnu
/
gcc
/
fe115e3147d7d8adf8c94451cc33c9b177293f29
/
.
/
gcc
/
testsuite
/
gnat.dg
/
overriding_ops2_pkg-high.ads
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
;