Relax assertion in profiler

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

-- { dg-do compile }
-- { dg-options "-ftest-coverage" }

package Coverage1 is

  type Rec is record
    I : Integer := 0;
  end record;

end Coverage1;