[pypy-svn] extradoc extradoc: another small tweak

[antocuni]

Author: Antonio Cuni <anto.cuni at gmail.com>
Branch: extradoc
Changeset: r3453:bb796d54bc75
Date: 2011-04-01 18:44 +0200
http://bitbucket.org/pypy/extradoc/changeset/bb796d54bc75/

Log:	another small tweak

diff --git a/talk/icooolps2011/paper.tex b/talk/icooolps2011/paper.tex
--- a/talk/icooolps2011/paper.tex
+++ b/talk/icooolps2011/paper.tex
@@ -273,8 +273,8 @@
 While the operations in a trace are those of the interpreter, the loops that are
 traced by the tracer are the loops in the
 user program. This means that the tracer stops tracing after one iteration of
-the loop in the user function that is being considered. At this point, it can
-have traced many iterations of the interpreter main loop.
+the loop in the user function that is being considered. At this point, it probably
+traced many iterations of the interpreter main loop.
 
 \begin{figure}
 \includegraphics[scale=0.5]{figures/trace-levels}