diff options
Diffstat (limited to 'doc/ref/api-debug.texi')
-rw-r--r-- | doc/ref/api-debug.texi | 2 |
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 |