Require target lra in gcc.dg/pr108095.c

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

with Synchronized2_Pkg;
package body Synchronized2 with SPARK_Mode, Refined_State => (State => C) is
   C : Synchronized2_Pkg.T;
   procedure Dummy is null;
end;