PR tree-optimization/81303

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

package Assert is

   procedure Assert (Condition : Boolean);

end Assert;