1-- { dg-do compile } 2-- { dg-options "-gnatVi -gnatws" } 3 4with Validity_Check2_Pkg; use Validity_Check2_Pkg; 5 6procedure Validity_Check2 (R : access Rec) is 7begin 8 if Op_Code_To_Msg (R.Code) in Valid_Msg then 9 raise Program_Error; 10 end if; 11end; 12