Sign in
gnu
/
gcc
/
a6d3012b274f38b20e2a57162106f625746af6c6
/
.
/
gcc
/
testsuite
/
gnat.dg
/
tree_static_def.ads
blob: 1ea58ee03e4984fb4a6a9b2a2ae6a6ff5d125d8e [
file
] [
log
] [
blame
]
package
TREE_STATIC_Def
is
type
Int
is
record
Value
:
Integer
;
end
record
;
procedure check
(
I
:
Int
;
v
:
integer
);
One
:
constant
Int
:=
(
Value
=>
1
);
end
;