{}
{   The purpose of this request is to make an entry in the current
{ correction package for an element correction just generated.  If the
{ element already has a correction in the package it is replaced, otherwise
{ it is inserted.
{}
{      RAP$INSERT_OR_REPLACE_CORRECTOR (ELEMENT, CORRECTOR, SIZE, USER_INFO)
{}
{ ELEMENT: (input) This parameter specifies the name of the element.
{}
{ CORRECTOR: (input) This parameter specifies the corrector for the file.
{}
{ SIZE: (input) This parameter specifies the size of the corrector.
{}
{ USER_INFO: (input) This parameter specifies the user information
{        attribute from the new version.
{}

