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;