testsuite: Update test for PR115537 to use SVE .

[official-gcc.git] / gcc / testsuite / gnat.dg / prot3.adb

--  { dg-do run }

with Prot3_Pkg; use Prot3_Pkg;

procedure Prot3 is
begin
   P.Foo (4);
end;