blob: f0892b3378282d1299d980a155b6fc548361089e [file] [log] [blame]
with Tampering_Check1_IVectors;
procedure Tampering_Check1_Trim
(V : in out Tampering_Check1_IVectors.Vector);