SET-INHIBIT-WARNINGS_bang_.html -- ACL2 Version 6.3

## SET-INHIBIT-WARNINGS!

control warnings non-`local`ly

    Major Section:  SWITCHES-PARAMETERS-AND-MODES

Please see set-inhibit-warnings, which is the same as `set-inhibit-warnings!` except that the latter is not `local` to the `encapsulate` or the book in which it occurs. Probably set-inhibit-warnings is to be preferred unless you have a good reason for wanting to export the effect of this event outside the enclosing `encapsulate` or book.