Sign in
gnu
/
gcc
/
1f16a020acbea0af26209478990b83b1a1ba3a2b
/
.
/
gcc
/
testsuite
/
gnat.dg
/
loop_invariant1.ads
blob: 5c19a92160304bfacaec74fe884708e4bb7b660b [
file
] [
log
] [
blame
]
package
Loop_Invariant1
is
type
Arr
is
array
(
Natural
range
<>)
of
Integer
;
procedure
Proc
(
A
:
Arr
;
N
:
Integer
);
end
Loop_Invariant1
;