REMOVE-MACRO-FN.html -- ACL2 Version 6.3

## REMOVE-MACRO-FN

remove the association of a function name with a macro name

    Major Section:  SWITCHES-PARAMETERS-AND-MODES

    Example:
    (remove-macro-fn binary-append)

    General Form:
    (remove-macro-fn macro-fn)

See add-macro-fn for a discussion of how to associate a macro name with a function name. This form sets `untrans-table` to the result of deleting the association of a macro name with the given binary function name. If the function name has no such association, then this form still generates an event, but the event has no real effect.