-- { 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;
-- { 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;