reset_trace
Feedback.reset_trace : string -> unit
Resets a tracing variable to its default value.
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.
See also
Feedback,
Feedback.register_trace,
Feedback.set_trace,
Feedback.reset_traces,
Feedback.trace,
Feedback.traces