Sign in
gnu
/
gcc
/
a6d3012b274f38b20e2a57162106f625746af6c6
/
.
/
gcc
/
testsuite
/
gnat.dg
/
assertion_policy1_pkg.ads
blob: 88b0056cbe213b005d3b5c69475a7fd589fdfd2e [
file
] [
log
] [
blame
]
package
Assertion_Policy1_Pkg
is
pragma
Assertion_Policy
(
Ignore
);
procedure
Proc
(
Low
:
Integer
;
High
:
Integer
)
with
Pre
=>
Low
<
High
;
end
Assertion_Policy1_Pkg
;