Sign in
gnu
/
gcc
/
d769c5040874bf9546f2524f3f1d2a894165f92a
/
.
/
gcc
/
testsuite
/
gnat.dg
/
tampering_check1_ivectors.ads
blob: 1154e2e5acb06a6681ca7477d23d1172fa933dfd [
file
] [
log
] [
blame
]
with
Ada
.
Containers
.
Vectors
;
package
Tampering_Check1_IVectors
is
new
Ada
.
Containers
.
Vectors
(
Positive
,
Integer
);