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

## SET-OVERRIDE-HINTS

set the override-hints

    Major Section:  SWITCHES-PARAMETERS-AND-MODES

See override-hints for a discussion of override-hints. Here we describe how to set them. Note that the effects of `set-override-hints` events are local to the books or `encapsulate` events in which they reside; see set-override-hints! to avoid that restriction. Also see add-override-hints to add to the list of override-hints, rather than setting a new list and ignoring the present list.

    General Form:
    (set-override-hints form)

where `form` evaluates to a list of computed hint forms. The effect of this event is to set the list of override-hints to the result of that evaluation.