added clear-profile-results

svn: r4495
2006-10-05 18:46:33 +00:00 · 2006-10-05 18:46:33 +00:00 · 8ecb66ec3c
commit 8ecb66ec3c
parent 9127ed7245
1 changed files with 4 additions and 0 deletions
--- a/collects/errortrace/doc.txt
+++ b/collects/errortrace/doc.txt
@ -155,6 +155,10 @@ Gets the current profile results and displays them.  It optionally
 shows paths information (if it is recorded) and sorts by either time
 or call counts.

+> (clear-profile-results)
+
+Clears accumulated profile results.
+
 Coverage
 --------