X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=doc%2Fcmucl%2Fcmu-user%2Fcmu-user.tex;fp=doc%2Fcmucl%2Fcmu-user%2Fcmu-user.tex;h=8623c0daea5bfb971db52192f84691c8122ee73e;hb=7e1f6a02db322634078e6cec7bf92bcd060db0fe;hp=fb51948ce25ee7667ef53c72071a9b20ab089c86;hpb=a30fb4f28fb891abc98eee8fdf99c2dbed2129de;p=sbcl.git

diff --git a/doc/cmucl/cmu-user/cmu-user.tex b/doc/cmucl/cmu-user/cmu-user.tex
index fb51948..8623c0d 100644
--- a/doc/cmucl/cmu-user/cmu-user.tex
+++ b/doc/cmucl/cmu-user/cmu-user.tex
@@ -12610,7 +12610,7 @@ from this condition.
 \end{deftp}
 
 
-\begin{deftp}{Condition}{unhandled-condition}{}
+\begin{deftp}{Condition}{unhandled-debug-condition}{}
 This error results from a signalled \code{debug-condition} occurring
 without anyone handling it.
 \end{deftp}