From 8ecb66ec3c34c90a7dc7e7f1d37044be97c3ad4c Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@racket-lang.org>
Date: Thu, 5 Oct 2006 18:46:33 +0000
Subject: [PATCH] added clear-profile-results

svn: r4495
---
 collects/errortrace/doc.txt | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/collects/errortrace/doc.txt b/collects/errortrace/doc.txt
index dd5fb57ea3..1c3dd5d31d 100644
--- 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
 --------