summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Doc/ref/ref4.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/ref/ref4.tex b/Doc/ref/ref4.tex
index 636bc1d375..754a5b59d0 100644
--- a/Doc/ref/ref4.tex
+++ b/Doc/ref/ref4.tex
@@ -80,7 +80,7 @@ searched in the built-in namespace (which is actually the global
namespace of the module
\module{__builtin__}\refbimodindex{__builtin__}). The built-in
namespace associated with the execution of a code block is actually
-found by looking up the name \code{__builtins__} is its global
+found by looking up the name \code{__builtins__} in its global
namespace; this should be a dictionary or a module (in the latter case
its dictionary is used). Normally, the \code{__builtins__} namespace
is the dictionary of the built-in module \module{__builtin__} (note: