Require target lra in gcc.dg/pr108095.c

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

package Synchronized2_Pkg with SPARK_Mode is
   type T is limited private;
private
   task type T;
end;