From 8e803eacef56979f0c980970766cd3feb126e67b Mon Sep 17 00:00:00 2001 From: toy <toy> Date: Tue, 18 Mar 2003 18:03:03 +0000 Subject: [PATCH] Fix typos so this can be processed by TeX. --- docs/cmu-user/debugger.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/cmu-user/debugger.tex b/docs/cmu-user/debugger.tex index 5d726b4f5..2f898a4b4 100644 --- a/docs/cmu-user/debugger.tex +++ b/docs/cmu-user/debugger.tex @@ -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 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 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 \varref{debug-print-length}. -- GitLab