# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1114973499 0
# Node ID 2afdce105d7a8b48a33a7ef2b6fdd9ebe4fd47b3
# Parent  2ce055c7db6575d354b405842c54750cacde0e8a
(Checking Whether to Stop): Fix previous change.

diff -r 2ce055c7db65 -r 2afdce105d7a lispref/edebug.texi
--- a/lispref/edebug.texi	Sun May 01 18:49:28 2005 +0000
+++ b/lispref/edebug.texi	Sun May 01 18:51:39 2005 +0000
@@ -955,9 +955,8 @@
 
 @item
 The state of keyboard macro execution is saved and restored.  While
-Edebug is active, @code{executing-kbd-macro} is bound to
-@code{edebug-continue-kbd-macro}.
-
+Edebug is active, @code{executing-kbd-macro} is bound to @code{nil}
+unless @code{edebug-continue-kbd-macro} is non-@code{nil}.
 @end itemize