7 lines
108 B
Ada
7 lines
108 B
Ada
|
pragma Eliminate (p, d);
|
||
|
|
||
|
package Lto5_Pkg is
|
||
|
type t is tagged null record;
|
||
|
procedure d (a : t);
|
||
|
end;
|