blob: 6f9f2aa0060806edca74f4804b9be6c9e5dcae50 [file] [log] [blame]
package body Limited1_Inner is
overriding procedure Finalize (X : in out Limited_Type) is
begin
if X.Self /= X'Unrestricted_Access then
raise Program_Error with "Copied!";
end if;
end;
function Make_Inner return Inner_Type is
begin
return Inner : Inner_Type (True) do
null;
end return;
end;
end;