Sign in
gnu
/
gcc
/
a6d3012b274f38b20e2a57162106f625746af6c6
/
.
/
gcc
/
testsuite
/
gnat.dg
/
overload2.adb
blob: 56c8587b57dc81b7148b45738a7d14027cb3c5a2 [
file
] [
log
] [
blame
]
--
{
dg
-
do
compile
}
--
{
dg
-
options
"-gnat95"
}
with
Overload2_P
;
use
Overload2_P
;
with
text_io
;
use
text_io
;
procedure overload2
is
this
,
that
:
t
;
yes
:
boolean
:=
this
/=
that
;
begin
if
not
yes
then
put_line
(
"FAILED"
);
end
if
;
end
;