Sign in
gnu
/
gcc
/
93ac832f1846e4867aa6537f76f510fab8e3e87d
/
.
/
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
;