summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/assert.ads
blob: 81a912a8ad2e401daaeb222b0e2f254d66c8c0f3 (plain)
1
2
3
4
5
package Assert is

   procedure Assert (Condition : Boolean);

end Assert;