2015-05-04 Andrew Sutton <andrew.n.sutton@gmail.com>

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

package Assert is

   procedure Assert (Condition : Boolean);

end Assert;