summaryrefslogtreecommitdiffstats
path: root/Doc/lib
diff options
context:
space:
mode:
Diffstat (limited to 'Doc/lib')
-rw-r--r--Doc/lib/libtypes.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/lib/libtypes.tex b/Doc/lib/libtypes.tex
index 029da07..988fc90 100644
--- a/Doc/lib/libtypes.tex
+++ b/Doc/lib/libtypes.tex
@@ -313,7 +313,7 @@ comma, e.g., \code{(d,)}.
\indexii{list}{type}
Sequence types support the following operations. The \samp{in} and
-\samp{not\,in} operations have the same priorities as the comparison
+\samp{not in} operations have the same priorities as the comparison
operations. The \samp{+} and \samp{*} operations have the same
priority as the corresponding numeric operations.\footnote{They must
have since the parser can't tell the type of the operands.}