aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
diff options
context:
space:
mode:
authorGravatar staffehn <fdsteffahn@gmail.com>2017-09-08 22:15:26 +0200
committerGravatar GitHub <noreply@github.com>2017-09-08 22:15:26 +0200
commit1724ec47c354c589bf537aa5860674578d5839d5 (patch)
tree3ee9ee2383e06a8046d90a95c616a8bca818df24 /doc
parentb1fbec7e3945fe2965f4ba9f80c8c31b821dbce1 (diff)
Fix Typo in Doc for `Set Parsing Explicit`
Diffstat (limited to 'doc')
-rw-r--r--doc/refman/RefMan-ext.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/refman/RefMan-ext.tex b/doc/refman/RefMan-ext.tex
index 713f344cb..d30e2c0ef 100644
--- a/doc/refman/RefMan-ext.tex
+++ b/doc/refman/RefMan-ext.tex
@@ -1664,7 +1664,7 @@ to be given as if none arguments were implicit. By symmetry, this also
affects printing. To restore parsing and normal printing of implicit
arguments, use:
\begin{quote}
-{\tt Set Parsing Explicit.}
+{\tt Unset Parsing Explicit.}
\end{quote}
\subsection{Canonical structures