From f28927d3b1f1fdb200eda8e5c4235905016fb7b3 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Thu, 15 Sep 2005 22:14:19 +0000 Subject: [PATCH] execute counts are destructively modified svn: r861 --- collects/errortrace/doc.txt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/errortrace/doc.txt b/collects/errortrace/doc.txt index 696dad3aae..7555ce61cc 100644 --- a/collects/errortrace/doc.txt +++ b/collects/errortrace/doc.txt @@ -175,7 +175,9 @@ counting): instrumented expression. The first element of the pair is a syntax object (usually containing source location information) for the original expression, and the second element of the pair is the - number of times that the expression has been evaluated. + number of times that the expression has been evaluated. These + elements are destructively modified, so to take a snapshot you will + need to copy them. > (annotate-executed-file filename-path) - writes the named file to the current output port, inserting an additional line between each