Require target lra in gcc.dg/pr108095.c

[official-gcc.git] / gcc / testsuite / gnat.dg / iter2.ads

package Iter2
   with SPARK_Mode
is
   function To_String (Name : String) return String;
end Iter2;