From f529d22869429d458c5382cf6787f213d7bd5296 Mon Sep 17 00:00:00 2001
From: Mike Pall <mike>
Date: Sat, 22 Jan 2011 20:32:23 +0100
Subject: Another fix for the trace flush logic. I'll get this right someday.

Thanks to David Manura.
---
 doc/ext_jit.html | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'doc')

diff --git a/doc/ext_jit.html b/doc/ext_jit.html
index fc494382..36e306a8 100644
--- a/doc/ext_jit.html
+++ b/doc/ext_jit.html
@@ -116,9 +116,9 @@ debugging purposes.
 
 <h3 id="jit_flush_tr"><tt>jit.flush(tr)</tt></h3>
 <p>
-Flushes the specified root trace and all of its side traces from the cache.
-The code for the trace will be retained as long as there are any other
-traces which link to it.
+Flushes the root trace, specified by its number, and all of its side
+traces from the cache. The code for the trace will be retained as long
+as there are any other traces which link to it.
 </p>
 
 <h3 id="jit_status"><tt>status, ... = jit.status()</tt></h3>
-- 
cgit v1.2.3-55-g6feb