blob: 7a7bd3588b481a6ad34be372a6e116a8389361a8 [file] [log] [blame]
pragma Eliminate (p, d);
package elim1 is
type t is tagged null record;
procedure d (a : t);
end;