Sign in
gnu
/
gcc
/
d769c5040874bf9546f2524f3f1d2a894165f92a
/
.
/
gcc
/
testsuite
/
gnat.dg
/
invariant_index.ads
blob: 77c46fc39e87b7d2e45a53dafb76a8e28ee740ca [
file
] [
log
] [
blame
]
package
Invariant_Index
is
Name_Buffer
:
String
(
1
..
100
);
Name_Len
:
Natural
;
procedure
Proc
(
S
:
String
);
end
Invariant_Index
;