UNTRACE$.html -- ACL2 Version 6.3

## UNTRACE$

untrace functions

    Major Section:  TRACE

    Examples:
    (untrace$)         ; untrace all functions previously
                       ; traced (e.g. with trace$ or trace!)
    (untrace$ foo bar) ; as above, except only untrace foo and bar

    General Forms:
    (untrace$)                 ; untrace all (as noted above)
    (untrace$ fn1 fn2 ... fnk) ; untrace the indicated functions

where the `fni` were previously traced (e.g. with `trace$` or `trace!`).

`Untrace$` undoes the effect of `trace$`. See trace$. The value returned by `untrace$` gives the list of functions for which tracing is being removed.