Skip to content
Snippets Groups Projects
Commit 8e803eac authored by toy's avatar toy
Browse files

Fix typos so this can be processed by TeX.

parent 06121692
No related branches found
No related tags found
No related merge requests found
...@@ -230,10 +230,10 @@ values displayed will be the argument values, not values of the ...@@ -230,10 +230,10 @@ values displayed will be the argument values, not values of the
If the variable for an argument is never referenced by the function, it will be If the variable for an argument is never referenced by the function, it will be
deleted. The variable value is then unavailable, so the debugger prints deleted. The variable value is then unavailable, so the debugger prints
\code{#<unused-arg>} instead of the value. Similarly, if for any of a number of \code{\#$<$unused-arg$>$} instead of the value. Similarly, if for any of a number of
reasons (described in more detail in section \ref{debug-vars}) the value of the reasons (described in more detail in section \ref{debug-vars}) the value of the
variable is unavailable or not known to be available, then variable is unavailable or not known to be available, then
\code{#<unavailable-arg>} will be printed instead of the argument value. \code{\#$<$unavailable-arg$>$} will be printed instead of the argument value.
Printing of argument values is controlled by \code{*debug-print-level*} and Printing of argument values is controlled by \code{*debug-print-level*} and
\varref{debug-print-length}. \varref{debug-print-length}.
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment