testsuite/gnat.dg/rep_clause6.adb

--  { dg-do compile }

package body Rep_Clause6 is
   procedure Dummy is null;
end Rep_Clause6;