reset_trace : string -> unit

SYNOPSIS
Resets a tracing variable to its default value.

DESCRIBE
A call to reset_trace n resets the tracing variable associated with the name n to its default value, i.e., the value of the expression !r when n was registered with register_trace n r.

FAILURE
Fails if the name given is not associated with a registered tracing variable, or if a set function associated with a "functional" trace (see register_ftrace) fails.

SEEALSO  Feedback,   register_trace,   set_trace,   reset_traces,   trace,   traces

HOL  Kananaskis 0