Require target lra in gcc.dg/pr108095.c

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

package Synchronized1
  with SPARK_Mode,
       Abstract_State => (State with Synchronous),
       Initializes    => State
is
   procedure Force_Body;
end Synchronized1;