view gcc/testsuite/gnat.dg/renaming8.adb @ 138:fc828634a951

merge
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Thu, 08 Nov 2018 14:17:14 +0900
parents 04ced10e8804
children
line wrap: on
line source

-- { dg-do run }
-- { dg-options "-gnatp" }

with Renaming8_Pkg1; use Renaming8_Pkg1;

procedure Renaming8 is
begin
  if not B then
    raise Program_Error;
  end if;
end;