Sign in
gnu
/
gcc
/
a6d3012b274f38b20e2a57162106f625746af6c6
/
.
/
gcc
/
testsuite
/
gnat.dg
/
assert.ads
blob: 81a912a8ad2e401daaeb222b0e2f254d66c8c0f3 [
file
] [
log
] [
blame
]
package
Assert
is
procedure
Assert
(
Condition
:
Boolean
);
end
Assert
;