testsuite/gnat.dg/renaming12.adb

--  { dg-do compile }

package body Renaming12 is

  procedure Dummy is null;

end Renaming12;