REMOVE-OVERRIDE-HINTS.html -- ACL2 Version 6.3

## REMOVE-OVERRIDE-HINTS

delete from the list of override-hints

    Major Section:  SWITCHES-PARAMETERS-AND-MODES

See override-hints for a discussion of override-hints. Here we describe how to delete from the list of override-hints. Note that the effects of `remove-override-hints` events are local to the books or `encapsulate` events in which they reside; see remove-override-hints! to avoid that restriction. Also see add-override-hints and see set-override-hints.

    General Form:
    (remove-override-hints form)

where `form` should evaluate to a list of computed hint forms. The effect of this event is to set the list of override-hints to the result of deleting each element of the evaluation result from the override-hints, if that element indeed belongs to the override-hints; no check is made that these elements are actually elements of the existing override-hints.