Increase timeout factor for hppa*-*-* in gcc.dg/long_branch.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;