[pypy-commit] pypy default: Minor tweak to my recent @jit docstrings.

[vext01]

Author: Edd Barrett <vext01 at gmail.com>
Branch: 
Changeset: r76965:77b522fcaecb
Date: 2015-05-01 16:15 +0100
http://bitbucket.org/pypy/pypy/changeset/77b522fcaecb/

Log:	Minor tweak to my recent @jit docstrings.

	Feedback from Laurence Tratt.

diff --git a/rpython/rlib/jit.py b/rpython/rlib/jit.py
--- a/rpython/rlib/jit.py
+++ b/rpython/rlib/jit.py
@@ -36,10 +36,10 @@
     is handled like a normal function call (this decorator is ignored).
 
     Note also that this optimisation will only take effect if the arguments
-    to the function are "provably constant". By this we mean each argument
+    to the function are proven constant. By this we mean each argument
     is either:
 
-      1) literally constant in the RPython source
+      1) a constant from the RPython source code (e.g. "x = 2")
       2) easily shown to be constant by the tracer
       3) a promoted variable (see @jit.promote)