tampering_check1_trim.ads\gnat.dg\testsuite\gcc - delta/gcc.git - gcc.gnu.org: git/gcc.git

index : delta/gcc.git

gcc.gnu.org: git/gcc.git

summary refs log tree commit diff

path: root/gcc/testsuite/gnat.dg/tampering_check1_trim.ads

blob: f0892b3378282d1299d980a155b6fc548361089e (plain)

with Tampering_Check1_IVectors;

procedure Tampering_Check1_Trim
  (V : in out Tampering_Check1_IVectors.Vector);