Sign in
gnu
/
gcc
/
a6d3012b274f38b20e2a57162106f625746af6c6
/
.
/
gcc
/
testsuite
/
gnat.dg
/
assertion_policy1_pkg.adb
blob: 90d31b50f284787f244dfd8bd77194902bbe2d74 [
file
] [
log
] [
blame
]
with
Ada
.
Text_IO
;
use
Ada
.
Text_IO
;
package
body
Assertion_Policy1_Pkg
is
procedure
Proc
(
Low
:
Integer
;
High
:
Integer
)
is
begin
Put_Line
(
"Proc"
);
end
Proc
;
end
Assertion_Policy1_Pkg
;