Google Git
Sign in
gnu / gcc / refs/tags/basepoints/gcc-13 / . / gcc / testsuite / gnat.dg / assert.ads
blob: 81a912a8ad2e401daaeb222b0e2f254d66c8c0f3 [file] [log] [blame]
package Assert is
procedure Assert (Condition : Boolean);
end Assert;