summaryrefslogtreecommitdiff
path: root/doc/ref/api-debug.texi
diff options
context:
space:
mode:
Diffstat (limited to 'doc/ref/api-debug.texi')
-rw-r--r--doc/ref/api-debug.texi2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/ref/api-debug.texi b/doc/ref/api-debug.texi
index 3f22e14e6..04dc25c1c 100644
--- a/doc/ref/api-debug.texi
+++ b/doc/ref/api-debug.texi
@@ -220,7 +220,7 @@ In the latter case, no source properties were stored, so the error
doesn't have any source information.
The recording of source properties is controlled by the read option
-named ``positions'' (@pxref{Reader options}). This option is switched
+named ``positions'' (@pxref{Scheme Read}). This option is switched
@emph{on} by default.
The following procedures can be used to access and set the source