blob: 81a912a8ad2e401daaeb222b0e2f254d66c8c0f3 [file] [log] [blame]
package Assert is
procedure Assert (Condition : Boolean);
end Assert;