[pypy-commit] extradoc extradoc: use official name of this optimization

[cfbolz]

Author: Carl Friedrich Bolz <cfbolz at gmx.de>
Branch: extradoc
Changeset: r3695:f58fa0c348aa
Date: 2011-06-16 11:51 +0200
http://bitbucket.org/pypy/extradoc/changeset/f58fa0c348aa/

Log:	use official name of this optimization

diff --git a/talk/iwtc11/paper.tex b/talk/iwtc11/paper.tex
--- a/talk/iwtc11/paper.tex
+++ b/talk/iwtc11/paper.tex
@@ -565,7 +565,7 @@
 jump($l_1$, $p_{0}$, $p_{9}$, $i_3$, $i_8$)
 \end{lstlisting}
 
-\subsection{Pure operation reuse}
+\subsection{Common Subexpression Elimination}
 If a pure operation appears more than once in the trace with same input
 arguments, it only needs be executed the first time and then the result
 can be reused for all other appearances. When that is combined with loop