blob: 1c4cd64529f07254f5d2be5a9ace03febaedbd00 [file] [log] [blame]
-- { dg-do compile }
with Dflt_Init_Cond_Pkg; use Dflt_Init_Cond_Pkg;
procedure Dflt_Init_Cond is
E : Explicit;
I : Implicit;
begin
Read (E);
Read (I);
end Dflt_Init_Cond;