xref: /dports/lang/gcc10-devel/gcc-10-20211008/gcc/testsuite/gnat.dg/tampering_check1_ivectors.ads

with Ada.Containers.Vectors;

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