aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/tampering_check1_ivectors.ads
blob: 1154e2e5acb06a6681ca7477d23d1172fa933dfd (plain)
1
2
3
4
with Ada.Containers.Vectors;

package Tampering_Check1_IVectors is new
   Ada.Containers.Vectors (Positive, Integer);