separate (Tracker.Personnel_Pkg.Pr_Modify)
procedure Modify_Personnel_Key is
    ----------------------------------------------------------------------------
    --|
    --|  NAME:  MODIFY_PERSONNEL_KEY
    --|
    --|  OVERVIEW:
    --|    This procedure is called when the person's initials are modified.
    --|    The user is prompted for a new unique key by calling the Prompt_Pkg
    --|    function.  The person's initials must be changed in the person's
    --|    record, the search key for the personnel list, and the field of the
    --|    element record for each element in the person's element list.
    --|
    --|  EXCEPTIONS HANDLED:
    --|    none
    --|
    --|  HISTORY:
    --|    Written by   May Lee   March 1985
    --|
    ----------------------------------------------------------------------------
    Blank_Key : Pr_Init_Type;        -- to blank out the key
    New_Initials : Pr_Init_Type;        -- replacement pr

begin
    -- Change the key in the personnel list...

    -- get the new person's initials
    New_Initials := Prompt_Pkg.New_Person_Initials;

    -- change person's initials in each element record of the pr_el_list
    Change_Pr_In_El (Pr_Record, New_Initials);

    -- change the search key in the personnel list
    Change_List_Key (Pr_List, Pr_Record.Initials, New_Initials);

    -- change initials in the person's record
    Pr_Record.Initials := New_Initials;

end Modify_Personnel_Key;