From 1af4c03f403519f9e63a2c441e19c9398e9be0e3 Mon Sep 17 00:00:00 2001
From: emarsden <emarsden>
Date: Wed, 5 Mar 2003 17:34:24 +0000
Subject: [PATCH] The debugger actually prints #<unused-arg>, not <unused-arg>.

---
 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 f13dcee11..5d726b4f5 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